The following publications are possibly variants of this publication:
- ANNA - A Language for Annotating Ada Programs, Reference ManualDavid C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe. Volume 260 of Lecture Notes in Computer Science, Springer, 1987.
- Programming with Specifications - An Introduction to ANNA, A Language for Specifying Ada ProgramsDavid Luckham. Texts and Monographs in Computer Science, Springer, 1990. [doi]
- An Overview of Anna, a Specification Language for AdaDavid C. Luckham, Friedrich W. von Henke. IEEE Software, 2(2):9-22, 1985. [doi]
- Modules and Visibility in the Ada Programming LanguageJean Ichbiah, John G. P. Barnes, J. C. Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann. In On the Construction of Programs. pages 153-192, 1980.
- Rationale for the design of the Ada programming languageJean Ichbiah, Bernd Krieg-Brückner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard. SIGPLAN, 14(6b):1-261, 1979. [doi]