editors. Abstract Interpretation of Declarative Languages (1987)

by S Abramsky, C Hankin