1993, 33pp.
Superseded - see TR-8-94.
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 Programming Research Group (PRG) 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, London 1992, edited by Jonathan Bowen and John Nicholls, in the Springer-Verlag Workshops in Computing series.