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