There have been a number of proposals to extend Z with object-oriented features including MOOZ [156], ZEST [54,212] and OOZE [6], and also proposals to use Z in an object-oriented style [105,106]. Both [190] and [191] provide comparisons of some of these approaches, and a collection of object-oriented specification case studies has also been published [145].
Object-Z grew out of work at the SVRC, University of Queensland. Early definitions of the language include [77,79], and these were accompanied by work on its semantics [73,179]. The reference manual by Smith [181] provides a definitive account of the current syntax together with a discussion of the semantics. More recent work on the semantics includes [99] and [46]. There has also been work on a logic for Object-Z by Smith [178] and Griffiths [100]. An introductory textbook by Duke and Rose has also recently been published [78].
An Object-Z home page is maintained on the WWW at:
http://archive.csee.uq.edu.au/~smith/objectz.htmlThis contains a comprehensive list of references plus a description of the available tool support.