Duke, R. (2000). Formal object-oriented specification using object-Z. Basingstoke: Macmillan.
Style de citation ChicagoDuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
Style de citation MLADuke, Roger. Formal Object-oriented Specification Using Object-Z. Basingstoke: Macmillan, 2000.
Attention : ces citations peuvent ne pas être correctes à 100%.