TY  - BOOK
AU  - Luckham David C
AU  -  Krieg-Bruckner Bernd
AU  -  Von Henke Friedrich W
TI  - ANNA: A language for annotating ada programs
T2  - Lecture notes in computer science; 260
U1  - D65,8(B)92AN, M7 
PY  - 1987///
CY  - Berlin
PB  - Springer Verlag      
KW  -  Computer languages
KW  - Computer programming
ER  -