OOZE

An object oriented extension of Z.

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