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

Potter Ben, Sinclair Jane, & Till David. (1996). An introduction to formal specification an Z (2nd ed.). Prentice Hall.

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

Potter Ben, Sinclair Jane, και Till David. An Introduction to Formal Specification an Z. 2nd ed. Prentice Hall, 1996.

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

Potter Ben, et al. An Introduction to Formal Specification an Z. 2nd ed. Prentice Hall, 1996.