Luckham, D. C. (1990). Programming with specifications : an introduction to ANNA, a language for specifying Ada programs. New York, Springer-Verlag.

Languages mentioned

• ANNA {1987}