Representing Control in the Presence of First-Class Continuations (1990)

by Robert Hieb, R. Kent Dybvig, Carl Bruggeman
Venue:In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation