APA-Zitierstil (7. Ausg.)

Potter, B., Sinclair, J., & Till, D. (2004). An introduction to formal specification and Z (2. ed., [Nachdr.].). Pearson Prentice Hall.

Chicago-Zitierstil (17. Ausg.)

Potter, Ben, Jane Sinclair, und David Till. An Introduction to Formal Specification and Z. 2. ed., [Nachdr.]. Harlow ; Munich [u.a.]: Pearson Prentice Hall, 2004.

MLA-Zitierstil (9. Ausg.)

Potter, Ben, et al. An Introduction to Formal Specification and Z. 2. ed., [Nachdr.]. Pearson Prentice Hall, 2004.