Reasoning with continuations. Pages 131–141 of (1986)

by Matthias Felleisen, Daniel P Friedman, Eugene Kohlbecker, Bruce Duba
Venue:Proceedings of the symposium on logic in computer science. IEEE