import/CMSwp-all.00000001/00000019.nul url indexed_doc NulPlugin 0 00000019.nul 00000019.nul CMSwp-all.00000001/00000019.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) A logic for the schema calculus / by Martin C. Henson and Steve Reeves. 00000019 HASH0179160723bd4a2665658d05 1663656768 20220920 1663656832 20220920 HASH0179.dir This document has no text.