Abstract interpretation of declarative languages
Abramsky, Samson,1953-
Hankin, Chris1954-
Chichester Horwood
1987
Includes bibliography and index
Computer programs
Structured programming.