Anna: A Language for Annotating Ada Programs 
Subtitle: A Reference Manual (Lecture Notes in Computer Science)
Publisher: Springer
Published: September 1987
Language: eng
Number of pages: 143
ISBN-13: 9780387179803