import/CMSwp-all.00000101/00000137.nul indexed_doc NulPlugin 0 00000137.nul 00000137.nul CMSwp-all.00000101/00000137.nul 1 Streader, David. University of Waikato. Dept. of Computer Science. Reeves, Steve, 1957- [2006] Includes bibliographical references (leaves 7-8). "September 20, 2006." Dept. of Computer Science, University of Waikato, Hamilton, N.Z. : Object-oriented programming (Computer science) Data structures (Computer science) Computer programs Verification. State- and event-based refinement / Steve Reeves and David Streader. 00000137 HASH0151911684a768ea3de09c67 1395214952 20140319 1395215083 20140319 HASH0151/911684a7.dir This document has no text.