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.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl