anna: Towards a language for annotating Ada programs (1980)

by Bernd Krieg-Bruckner, David Luckham
Venue:SIGPLAN Notices