LDR 01002cam  2200277 a 4500
001     333852
008           s1998    nz       b    00000 eng d
010    _o zbn98035548 
020    _c Gratis (spiral binding)
035    _a (nzNZBN)10772605
035    _9 ABO-3462
040    _a NZNB
       _c NZNB
082 0  _a 005.133
       _2 21
092    _a QA75.5.W926 no.98/5
100 1  _a Henson, Martin C.
245 12 _a A logic for the schema calculus /
       _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 20 leaves ;
       _c 30 cm.
490 1  _a Working paper,
       _x 1170-487X ;
       _v 98/5
500    _a "March 1998."
500    _a Received on Standing Order.
504    _a Includes bibliographical references (leaf 20).
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/5.