LDR 01045cam  2200277 a 4500
001     589924
005     20070320085223.0
008     061204s2006    nz       b    000 0 eng d
035    _a 11275068
035    _9 11275068
040    _a HU
       _c HU
043    _a u-nz---
050 14 _a QA75.5
       _b .W926 no.2006/09
100 1  _a Reeves, Steve,
       _d 1957-
245 10 _a State- and event-based refinement /
       _c Steve Reeves and David Streader.
260    _a Hamilton, N.Z. :
       _b Dept. of Computer Science, University of Waikato,
       _c [2006]
300    _a 8 leaves ;
       _c 30 cm.
490 1  _a Working paper,
       _x 1170-487X ;
       _v 09/2006
500    _a "September 20, 2006."
504    _a Includes bibliographical references (leaves 7-8).
650  0 _a Object-oriented programming (Computer science)
650  0 _a Data structures (Computer science)
650  0 _a Computer programs
       _x Verification.
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 : Online) ;
       _v 2006/09.