Duke, R. (2000). Formal object-oriented specification using object-Z. Basingstoke: Macmillan.
Citación estilo ChicagoDuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
Cita MLADuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.