Object Z

University of Queensland.

["Object Orientation in Z", S. Stepney et al eds, Springer 1992].