Abramsky Samson Ed. Abstract interpretation of declaration of declarative languages - Chichester Ellis Horwood 1987 - 284p. cm. - Ellis Horwood series in computers and their applications . Standard No.: 43725 Source: Textual Subjects--Topical Terms: Computer program languageComputer science Dewey Class. No.: D65,8(B)92, M7