001: 820
003: Starlibrary PMS 4.5
005: 20180430
020: ^a81-85623-36-8
066: ^aNe.P
072: ^aprogramming tools
082: ^a005.1317
100: ^aNell Dale
240: ^aPas Cal Plus Data structures
245: ^aPas Cal Plus Data structures
260: ^c1995
650: ^averifying
650: ^adebugging
650: ^aand testing