Book

Abstract interpretation of declarative languages

by Samson Abramsky, Chris Hankin