1. A.J. Alencar, J.A. Goguen, OOZE, in: S. Stepney, R. Barden, D. Cooper (Eds.), Object Orientation in Z, Workshops in Computing, Springer-Verlag, 1992, pp. 79–94.
2. ANSI Accredited Standards Committee, X3, Information Processing Systems, Object Data Management Reference Model, 1991, Document Number OODB 89-01R8, also in Computer Standards and Interfaces, Vol. 15, 1993, pp. 124–142.
3. J.P. Bowen, J.A. Hall (Eds.), Z User Workshop, Cambridge 1994, Workshops in Computing, Springer-Verlag, 1994.
4. R. Barden, S. Stepney, D. Cooper, Z in Practice, Prentice-Hall, 1994.
5. A blocking model for reactive objects;Duke;Formal Aspects of Computing,1996