University of Queensland.
["Object Orientation in Z", S. Stepney et al eds, Springer 1992].
Try this search on Wikipedia, OneLook, Google