Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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