Z User Workshop, York 1991

The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and a corresponding increase in the publication of technical papers and reports of work with Z. The annual Z user meetings offer an excellent focal point for work published on Z, and provide a forum for the discussion of new developments. "Z user workshop, York 1991", provides an overview of new developments in theoretical and practical aspects of Z. It will be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers.