Duke, R. (2000). Formal object-oriented specification using object-Z. Basingstoke: Macmillan.
Dyfyniad Arddull ChicagoDuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
Dyfyniad MLADuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.