TY  - BOOK
AU  - Leadbetter Peter A
TI  - Prolog from specification to prototype
U1  - D6,8(B289PG), N1 
PY  - 1991///
ER  -