TY  - BOOK
AU  - Luckham, David C.
AU  - von Henke, Friedrich W.
AU  - Krieg-Bruckner, Bernd.
AU  - Owe, Olaf.
TI  - ANNA - A Language for Annotating Ada Programs: Reference Manual
SN  - 3540179801
CY  - Berlin
KW  - ANNA
KW  - Language for Annotating Ada Programs
ER  -