import/CMSwp-all.00000001/00000020.nul url indexed_doc NulPlugin 0 00000020.nul 00000020.nul CMSwp-all.00000001/00000020.nul 1 Henson, Martin C. Reeves, Steve, 1957- University of Waikato. Dept. of Computer Science. c1998. "March 1998." Received on Standing Order. Includes bibliographical references (p. 42). Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, Z (Computer program language) Revising Z : semantics and logic / by Martin C. Henson and Steve Reeves. 00000020 HASH5cf282b32e414549420895 1603509416 20201024 1603509477 20201024 HASH5cf2.dir This document has no text.