Liberalising Event B without changing it / Steve Reeves and David Streader.
 LDR 01056cam  2200253 a 4500
001     566640
005     20061116115334.0
008     060804s2006    nz       b    000 0 eng d
035    _a 11102709
035    _9 11102709
040    _a HU
       _c HU
050 14 _a QA75.5
       _b .W926 no.2006/07
100 1  _a Reeves, Steve,
       _d 1957-
245 10 _a Liberalising Event B without changing it  /
       _c Steve Reeves and David Streader.
260    _a Hamilton, N.Z. :
       _b Dept. of Computer Science, University of Waikato,
       _c 2006.
300    _a 11 p. ;
       _c 30 cm.
490 1  _a Working paper,
       _x 1170-487X ;
       _v 07/2006
504    _a Includes bibliographical references (p. 11).
650  0 _a B method (Computer science)
650  0 _a Parallel processing (Electronic computers)
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 2006/07.
856 4  _u
 http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-07.pdf
       _z
 http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-07.pdf