Finding fixpoints in abstract interpretation (1987)

by S P Jones, C Clack
Venue:In Abstract Interpretation of Declarative Languages