Dorai Sitaram and Matthias Felleisen. Reasoning with continuations II: Full abstraction for models of control. In Proceedings 1990 Conference on LISP Functional Programming, pages 161-175, June 1990.
author author author author author title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages date date