Bibtex Record:
@workingpaper{
Author = {Utting, B.M. and Wang, S.},
Title = {Object-orientation in standard Z},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {12/02},
Pages = {1-20},
Abstract = {The good news of this paper is that an elegant object-oriented specification style is possible in standard Z. The bad news is that this style is rather different to normal Z specifications, more abstract and axiomatic, which means that it is not so well supported by current Z tools such as animators. It also enforces behavioural subtyping, unlike most object-oriented programming languages. This paper explains the proposed style, with examples, and discusses its advantages and disadvantages.},
Year = {2002}
}