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 1667871201 20221108 1667871202 20221108 HASH0179.dir This document has no text.