TY  - BOOK
AU  - Luckham, David C., ed
TI  - ANNA A Language for Annotating Ada Programs
T2  - Lecture notes in computer science
CY  - Berlin
PB  - Springer
ER  -