APA Edition Citation

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

Chicago Edition Citation

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

MLA Edition Citation

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

Warning: These citations may not always be 100% accurate.