Issue No.02 - March/April (1985 vol.2)
D.C. Luckham , Stanford University
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.
D.C. Luckham, "An Overview of Anna, a Specification Language for Ada", IEEE Software, vol.2, no. 2, pp. 9-22, March/April 1985, doi:10.1109/MS.1985.230345