A Language for Annotating Ada Programs (1987)

by D Luckham, F von Henke, B Krieg-Bruckner, O Owe
Venue:Lecture Notes in Computer Science 260