ANNA: a language for annotating Ada programs (1987)

by D C Luckham, F W von Henke, B Krieg-Brückner, O Owe