Abstract interpretation of declarative languages - Abramsky Samson; Hankin Chris (Chichester Ellis Horwood, 1987)
Keywords: Computer design; Computer science