[cover] Susan Stepney, Rosalind Barden, David Cooper, editors.
Object Orientation in Z .

Workshops in Computing. Springer, 1992.

ISBN 3-540-19778-8

This collection of papers draws together a variety of approaches for adding OO concepts and structuring capability to the Z formal specification language. Each approach is used to specify the same two problems, to allow a comparison.

Table of Contents

  editor = "Susan Stepney and Rosalind Barden and David Cooper",
  title = "Object Orientation in Z",
  series = "Workshops in Computing",
  publisher = "Springer",
  year = 1992