Abstract interpretation of declarative languages - Abramsky, Samson, 1953-; Hankin, Chris (Computers and their applications., 1987)