The object-Z specification language: version 1
Roger Duke, Paul King, Gordon A. Rose, Graeme Smith · 1991
This report presents Version 1 of Object-Z, an extension to the specification language Z, which facilitates the specification of systems in an object-oriented style. The report includes a concrete syntax and four case studies.