Reasoning with Continuations II: How to Get Full Abstraction for Models of Control (1990)

by D Sitaram, M Felleisen
Venue:In Proc. 1990 Conference on Lisp and Functional Programming