Silvio Romero de Lemos Meira, Ana Cavalcanti. MooZ Case Studies. In Susan Stepney, Rosalind Barden, David Cooper, editors, Object Orientation in Z. Workshops in Computing, pages 37-58, Springer, 1992.
@inproceedings{MeiraC92,
title = {MooZ Case Studies},
author = {Silvio Romero de Lemos Meira and Ana Cavalcanti},
year = {1992},
tags = {case study},
researchr = {https://researchr.org/publication/MeiraC92},
cites = {0},
citedby = {0},
pages = {37-58},
booktitle = {Object Orientation in Z},
editor = {Susan Stepney and Rosalind Barden and David Cooper},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19778-8},
}