Duke, R. (2000). Formal object-oriented specification using object-Z. Basingstoke: Macmillan.
Trích dẫn kiểu ChicagoDuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
MLA引文Duke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
警告:这些引文格式不一定是100%准确.