APA (7th ed.) Citation

Duke, R., & Rose, G. (2000). Formal object-oriented specification using object-Z. Macmillan Press.

Chicago Style (17th ed.) Citation

Duke, Roger, and Gordon Rose. Formal Object-oriented Specification Using Object-Z. Houndmills, Basingstoke, Hampshire: Macmillan Press, 2000.

MLA (9th ed.) Citation

Duke, Roger, and Gordon Rose. Formal Object-oriented Specification Using Object-Z. Macmillan Press, 2000.