🚀 go-pugleaf

 
The ZIP report "Comparative Study of Object Orientation in Z" presents MooZ
(Modular Object Oriented Z), a Z extension aimed at large software systems
specifications. It was originally proposed in
 
@inproceedings{MC90,
   author = {S. R. L. Meira and A. L. C. Cavalcanti},
   address = {Oxford - UK},
   booktitle = {Workshop on Computing Series},
   editor = {Prof.\  C. J. van Rijsbergen},
   month = dec,
   pages = {173 -- 192},
   publisher = {Springer-Verlag},
   title = {{Modular Object-Oriented Z Specifications}},
   year = {1990}
}
 
The latest reference is
 
@techreport{MC92b,
   author = {S. R. L. Meira and A. L. C. Cavalcanti},
   address = {Recife - PE},
   institution = {Universidade Federal de Pernambuco,
                  Departamento de Inform\'atica},
   title = {{The MooZ Specification Language}},
   year = {1992}
}
 
which can be get via ftp from
 
machine: gctc.itep.br (150.161.1.2)
user: anonymous
directory: pub/MooZ
file: MooZ.ps.Z
 
or by e-mailing me a request.
 
Ana Lucia Cavalcanti