Lano "Z++, an Object-Oriented Extension to Z" pp.151-172.

[Proceedings] (1991) Z User Workshop, Oxford 1990, Springer Workshops in Computing, 1991  

Languages mentioned Z++ {1990}