The semantics of Scheme control-flow analysis (1991)

by Olin Shivers
Venue:School of Computer Science, Pittsburgh