ZUM '95: The Z Formal Specification Notation: 9th ...
Preview
Krishna Kishore Dhara and Gary T. Leavens. Subtyping for mutable types in
object-oriented programming languages. Technical Report 92-36, Department of
Computer Science, Iowa State University, Ames, Iowa, November 1992. 10.