Finding fixpoints in abstract interpretation (1987)

by Simon Peyton Jones, Chris Clack
Venue:Abstract Interpretation of Declarative Languages, chapter 11