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