APA Style

Duke, R., Rose, G. (2000). Formal Object Oriented Specification Using Object Z (1). Great Britain: Macmillan Publishing Company.

MLA Style

Duke, Roger., Rose, Gordon. "Formal Object Oriented Specification Using Object Z". 1 Great Britain: Macmillan Publishing Company, 2000. Text.