APA-viite

Duke, R. (2000). Formal object-oriented specification using object-Z. Basingstoke: Macmillan.

Chicago-tyylinen lähdeviittaus

Duke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.

MLA-viite

Duke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.