Potter, B., Sinclair, J., & Till, D. (1992). An introduction to formal specification and Z (4. print.). Prentice Hall.
Chicago-Zitierstil (17. Ausg.)Potter, Ben, Jane Sinclair, und David Till. An Introduction to Formal Specification and Z. 4. print. New York [u.a.]: Prentice Hall, 1992.
MLA-Zitierstil (9. Ausg.)Potter, Ben, et al. An Introduction to Formal Specification and Z. 4. print. Prentice Hall, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.