Z notation

Abstract This paper, one of a simultaneously published set, describes the establishment in 1986 of the standards project for Z Notation, and the progress of the project to the end of 1993.

[1]  Jonathan P. Bowen Selected Z Bibliography , 1990, Z User Workshop.

[2]  I. D. Hill,et al.  Programming language standardisation , 1980 .

[3]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.