TY  - BOOK
AU  - Abramsky Samson
AU  - Hankin Chris
TI  - Abstract interpretation of declarative languages
SN  - 0-7458-0109-9
U1  - 005.13 
PY  - 1987///
CY  - Chichester
PB  - Ellis Horwood
KW  - Computer design
KW  - Computer science
ER  -