Z handbook
By: edited by Bernard Sufrin.
Contributors: Sufrin, Bernard.; Oxford University Computing Laboratory. Programming Research Group.
Publisher: Oxford University Computing Laboratory Programming Research Group
Published: 1986
Place of publication: Oxford
Language: eng
Notes: "Draft 1.1 March 1986".