Duke, R. (2000). Formal object-oriented specification using object-Z. Basingstoke: Macmillan.
シカゴスタイル引用形Duke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
MLA引用形式Duke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
警告: この引用は必ずしも正確ではありません.