Z plus plus
Z++ is one of a number of proposed object-oriented extensions to
Z.
["Z++, an Object-Oriented Extension to Z", Lano, Z User Workshop, Oxford 1990, Springer Workshops in Computing, 1991, pp.151-172].
This article was originally based on material from FOLDOC, used with permission. Update as needed.