LDR 00998cam  2200277 a 4500
001     333853
008           s1998    nz       b    00000 eng d
010    _o zbn98035528 
020    _c Gratis (spiral binding)
035    _a (nzNZBN)10772612
035    _9 ABO-3463
040    _a NZNB
       _c NZNB
082 0  _a 005.133
       _2 21
092    _a QA75.5.W926 no.98/4
100 1  _a Henson, Martin C.
245 10 _a Revising Z :
       _b semantics and logic /
       _c by Martin C. Henson and Steve Reeves.
260    _a Hamilton, N.Z. :
       _b Dept. of Computer Science, University of Waikato,
       _c c1998.
300    _a 42 p. ;
       _c 30 cm.
490 1  _a Working paper,
       _x 1170-487X ;
       _v 98/4
500    _a "March 1998."
500    _a Received on Standing Order.
504    _a Includes bibliographical references (p. 42).
650  0 _a Z (Computer program language)
700 1  _a Reeves, Steve,
       _d 1957-
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 98/4.