Formal object-oriented specification using object-Z - Duke, Roger; Rose, Gordon (Houndmills, Basingstoke, Hampshire Macmillan Press, 2000)
Keywords: Object-oriented programming (Computer science); Z (Computer program language)