import/CMSwp-all.00000201/00000219.nul indexed_doc NulPlugin 0 00000219.nul 00000219.nul CMSwp-all.00000201/00000219.nul 1 Reeves, Steve, 1957- University of Waikato. Dept. of Computer Science. Henson, Martin C. c1998. Includes bibliographical references (leaf 20). "March 1998." Received on Standing Order. Dept. of Computer Science, University of Waikato, Hamilton, N.Z. : Z (Computer program language) New foundations for Z / by Martin C. Henson and Steve Reeves. 00000219 HASH019a1a27a5cd8b2e8669ad89 1378460667 20130906 1378460814 20130906 HASH019a.dir This document has no text.