Object-Z

University of Queensland

"The Object-Z Specification Language: Version 1", TR 91-1, Software Verification Research Center, University of Queensland, Australia, 1991.

"Object-Z", G. Rose, in Object Orientation in Z, S. Stepney et al eds, Springer-Verlag, 1992.