Object-Z

Gordon A. Rose. Object-Z. In Susan Stepney, Rosalind Barden, David Cooper, editors, Object Orientation in Z. Workshops in Computing, pages 59-77, Springer, 1992.

Abstract

Abstract is missing.