Object Orientation in Z 1992

Susan Stepney, Rosalind Barden, David Cooper (Eds.): Object Orientation in Z. Workshops in Computing Springer 1992, ISBN 3-540-19778-8 BibTeX

@proceedings{DBLP:conf/zum/1992oo,
  editor    = {Susan Stepney and
               Rosalind Barden and
               David Cooper},
  title     = {Object Orientation in Z},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1992},
  isbn      = {3-540-19778-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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