Amr Sabry, Matthias Felleisen
Reasoning About Programs in Continuation-Passing Style
LISP, 1992.
@inproceedings{LFP-1992-SabryF, author = "Amr Sabry and Matthias Felleisen", booktitle = "{Proceedings of the Conference on Lisp and Functional Programming}", doi = "10.1145/141471.141563", isbn = "0-89791-481-3", pages = "288--298", publisher = "{ACM Press}", title = "{Reasoning About Programs in Continuation-Passing Style}", year = 1992, }