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