APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Luckham, David C. Programming with Specifications: An Introduction to ANNA, a Language for Specifying Ada Programs. New York: Springer-Verlag, 1990.

MLA (8th ed.) Citation

Luckham, David C. Programming with Specifications: An Introduction to ANNA, a Language for Specifying Ada Programs. Springer-Verlag, 1990.