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