APA (7th ed.) Citation

Lightfoot, D. (2001). Formal specification using Z (2nd ed.). Palgrave.

Chicago Style (17th ed.) Citation

Lightfoot, David. Formal Specification Using Z. 2nd ed. Basingstoke ; New York: Palgrave, 2001.

MLA (9th ed.) Citation

Lightfoot, David. Formal Specification Using Z. 2nd ed. Palgrave, 2001.