1. Antonio J. Alencar and Joseph A. Goguen. OOZE: An Object Oriented Z Environment. In Pierre America, editor, ECOOP’91: European Conference on Object-Oriented Programming, volume 512 of Lecture Notes in Computer Science, pages 180–199. Springer Verlag, 1991.
2. Antonio J. Alencar and Joseph A. Goguen. OOZE. In Stepney et al. [SBC92], chapter 7, pages 79–94.
3. Geoff Barrett. Formal methods applied to a floating-point number system. IEEE Transactions on Software Engineering, SE-15(5):611–621, May 1989.
4. Dines Bjorner, C. A. R. Hoare, and H. Langmaack, editors. VDM’90: VDM and Z — Formal Methods in Software Development, Kiel, volume 428 of Lecture Notes in Computer Science. Springer Verlag, 1990.
5. Elspeth Cusack and G. H. B. Rafsanjani. ZEST. In Stepney et al. [SBC92], chapter 10, pages 113–126.