import/CMSwp-all.00000101/00000137.nul indexed_doc NulPlugin 0 00000137.nul 00000137.nul CMSwp-all.00000101/00000137.nul 1 Reeves, Steve, 1957- Streader, David. University of Waikato. Dept. of Computer Science. 2006. Includes bibliographical references (p. 11). http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-07.pdf Hamilton, N.Z. : Dept. of Computer Science, University of Waikato, B method (Computer science) Parallel processing (Electronic computers) Liberalising Event B without changing it / Steve Reeves and David Streader. 00000137 HASH0151911684a768ea3de09c67 1494822481 20170515 1494822701 20170515 HASH0151/911684a7.dir This document has no text.