Z++

An object-oriented extension of Z.

"Z++, an Object-Oriented Extension to Z", Lano, Z User Workshop, Oxford 1990, Springer-Verlag, Workshops in Computing, 1991, pp.151-172.