Object Orientation in Z 1992

• Why an Object Oriented Z? 1-5 BibTeX
• Example Specification in Z. 7-17 BibTeX
• Hall's Style. 19-28 BibTeX
• Peter J. Whysall: Z Expression of Refinable Objects. 29-35 BibTeX
• Silvio Romero de Lemos Meira, Ana Cavalcanti: MooZ Case Studies. 37-58 BibTeX
• Gordon A. Rose: Object-Z. 59-77 BibTeX
• Antonio J. Alencar, Joseph A. Goguen: OOZE. 79-94 BibTeX
• Schuman & Pitt Approach. 95-104 BibTeX
• Kevin Lano: Z⁺⁺. 105-112 BibTeX
• Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani: ZEST. 113-126 BibTeX
• Alan Wills: Specification in Fresco. 127-135 BibTeX
• Z and HOOD. 137-138 BibTeX