Olaf Owe. ANNA - A Language for Annotating Ada Programs (1987)

by David Luckham, Friedrich W von Henke, Bernd Krieg-Bruckner
Venue:of Lecture Notes in Computer Science