Analysing strictness by abstract interpretation of continuations (1987)

by John Hughes
Venue:Abstract Interpretation of Declarative Languages, chapter 4