ANNA : A Language for Annotating Ada Programs : Reference Manual - Luckham, David C. (Lecture notes in computer science ;, 1987)