Reasoning with continuations II: full abstraction for models of control (1990)

by D Sitaram, M Felleisen
Venue:In Proceedings of the 1990 ACM conference on LISP and functional programming, LFP ’90