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.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.