["Z++, an Object-Oriented Extension to Z", Lano, Z User

Workshop, Oxford 1990, Springer Workshops in Computing, 1991,

pp.151-172].