0 Owe, ANNA: A Language for Annotating Ada Programs (1987)

by D C Luckham, B Krieg-Brllckner F W von Henke