Antonio J. Alencar, Joseph A. Goguen. OOZE. In Susan Stepney, Rosalind Barden, David Cooper, editors, Object Orientation in Z. Workshops in Computing, pages 79-94, Springer, 1992.
@inproceedings{AlencarG92,
title = {OOZE},
author = {Antonio J. Alencar and Joseph A. Goguen},
year = {1992},
researchr = {https://researchr.org/publication/AlencarG92},
cites = {0},
citedby = {0},
pages = {79-94},
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},
}