editors. Abstract Interpretation of Declarative Languages (1987)

by Samson Abramsky, Chris Hankin