Programming Research Group Technical Report TR-8-94

Select Z bibliography

Jonathan Bowen

June 1994, 42pp.

This bibliography contains a list of Z references that are either available as published papers, books or technical reports from institutions, or from the author, the Oxford University Computing Laboratory (OUCL) librarian or via electronic mail. The bibliography is in alphabetical order by author name(s).

The bibliography is also available in the Proceedings of the Z User Workshop, Cambridge 1994, edited by Jonathan Bowen and Anthony Hall, in the Springer-Verlag Workshops in Computing series.


This bibliography is available as a 123,199 byte compressed PostScript file.

The BibTeX source for the Z bibliography is also available, and this can be searched.