Representing control in the presence of first–class continuations (1990)

by Robert Hieb, Kent Dybvig, Carl Bruggeman
Venue:In 11th ACM SIGPLAN Symposium on Programming Language Design and Implementation