import/CMSwp-all.marc indexed_doc en iso_8859_1 CMSwp-all.marc CMSwp-all.marc 148 MARCPlugin MARC c2005. Includes bibliographical references (leaves 15-16). Streader, David. Parallel processing (Electronic computers) Programming languages (Electronic computers) Semantics. Machine theory. University of Waikato. Dept. of Computer Science. Dept. of Computer Science, University of Waikato, Also available in an electronic ed. Reeves, Steve, 1957- Stepwise refinement of processes / Steve Reeves and David Streader. http://www.cs.waikato.ac.nz/pubs/wp/2005/uow-cs-wp-2005-07.pdf Hamilton, N.Z. : HASH6a30b66a3a5419ad674b26s148 1383181789 20131031 1383181821 20131031 HASH6a30/b66a3a54/19ad674b/26s148.dir <pre> LDR 01285cam 2200313 a 4500 001 553289 005 20060928141123.0 008 060207s2005 nz a b 000 0 eng 020 _c Gratis (spiral binding) 035 _a (NLNZils)1175366 035 _9 10676451 040 _a NZNB _c NZNB 043 _a u-nz--- 050 14 _a QA75.5 _b .W926 no.2005/07 082 04 _a 004.35 _2 22 100 1 _a Reeves, Steve, _d 1957- 245 10 _a Stepwise refinement of processes / _c Steve Reeves and David Streader. 260 _a Hamilton, N.Z. : _b Dept. of Computer Science, University of Waikato, _c c2005. 300 _a [16] leaves : _b ill. ; _c 30 cm. 490 1 _a Working paper, _x 1170-487X ; _v 07/2005 504 _a Includes bibliographical references (leaves 15-16). 530 _a Also available in an electronic ed. 650 0 _a Parallel processing (Electronic computers) 650 0 _a Programming languages (Electronic computers) _x Semantics. 650 0 _a Machine theory. 700 1 _a Streader, David. 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 2005/07. 856 4 _u http://www.cs.waikato.ac.nz/pubs/wp/2005/uow-cs-wp-2005-07.pdf _z http://www.cs.waikato.ac.nz/pubs/wp/2005/uow-cs-wp-2005-07.pdf </pre>