MooZ

An object-oriented extension of Z.

"Object Orientation in Z", S. Stepney et al eds, Springer-Verlag, 1992.