ANNA A Language for Annotating Ada Programs: Reference Manual
David C. Luckham
D. Barstow W. Brauer P. Brinch Hansen D. Gries D. Luckham C. Moler A. Pnueli G. Seegmuller J. Stoer N. Wirth Authors David C. Luckham Computer Systems Laboratory, Stanford University Stanford, CA 943O5-2192, USA Friedrich W. von ...