A survey of object orientation in Z
Susan Stepney, Rosalind Barden, David F. Cooper · Software Engineering Journal · 1992
Two technologies offer much to the software industry; formal specification aids precision and object orientation aids structuring. One popular formal specification language is Z. In this paper, we survey techniques for adding object-oriented structuring to Z and look at three of them [1–3] in more detail.