Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.