import/CMSwp-all.00000001/00000019.nul indexed_doc NulPlugin 0 00000019.nul 00000019.nul CMSwp-all.00000001/00000019.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 (leaf 20). Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, Z (Computer program language) A logic for the schema calculus / by Martin C. Henson and Steve Reeves. 00000019 HASH0179160723bd4a2665658d05 1494814339 20170515 1494814646 20170515 HASH0179.dir This document has no text.