Data-flow analysis and type recovery in scheme (1991)

by O Shivers
Venue:Topics in Advanced Language Implementation, chapter 3