Z++

:" [http://www.zhmicro.com/ Z++] is also a version of the C++ programming language.

Z++ (pronounced "zed plus plus") was an object-oriented extension to the Z specification language.

See also

* Object-Z

References

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