TY  - BOOK
AU  - Abramsky Samson Ed.
AU  -  Hankin Chris Ed.
TI  - Abstract interpretation of declaration of declarative languages
T2  - Ellis Horwood series in computers and their applications
U1  - D65,8(B)92, M7 
PY  - 1987///
CY  - Chichester
PB  - Ellis Horwood        
KW  -  Computer program language
KW  - Computer science
ER  -