ANNA: A language for annotating ada programs - Luckham David C; Krieg-Bruckner Bernd; Von Henke Friedrich W (Berlin Springer Verlag, 1987)
Keywords: Computer languages; Computer programming