TY  - BOOK
AU  - Abramsky , Samson 
AU  - Hankin  , Chris 
TI  - Abstract interpretation of declarative languages
SN  - 0745801099
U1  - 005.13 
PY  - 1987///
CY  - Chichester
PB  - Ellis Horwood Ltd.
KW  - Computer programs - validation
KW  - Structured programming
N1  - Include bibliographies reference and index
ER  -