English Object-Z Cited by user KolbertBot on 07 Sep 2017 Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.