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