Object oriented extension of Z. "Object Orientation in Z", S. Stepney et al eds, Springer 1992.
Nearby terms: OOPS « OOPSLA « OOSD « OOZE » op » OPAC » Opal
