Continuations may be unreasonable (1988)

by A Meyer, J G Riecke
Venue:In Conf. on LISP and functional programming, LFP