Gerald Jay Sussman, Guy L. Steele, Jr. (Δεκέμβριος 1998). «Scheme: A Interpreter for Extended Lambda Calculus» (reprint). Higher-Order and Symbolic Computation11 (4): 405–439. doi:10.1023/A:1010035624696. http://www.brics.dk/~hosc/local/HOSC-11-4-pp405-439.pdf. «We believe that this was the first occurrence of the term "continuation-passing style" in the literature. It has turned out to be an important concept in source code analysis and transformation for compilers and other metaprogramming tools. It has also inspired a set of other "styles" of program expression.».
doi.org
dx.doi.org
Gerald Jay Sussman, Guy L. Steele, Jr. (Δεκέμβριος 1998). «Scheme: A Interpreter for Extended Lambda Calculus» (reprint). Higher-Order and Symbolic Computation11 (4): 405–439. doi:10.1023/A:1010035624696. http://www.brics.dk/~hosc/local/HOSC-11-4-pp405-439.pdf. «We believe that this was the first occurrence of the term "continuation-passing style" in the literature. It has turned out to be an important concept in source code analysis and transformation for compilers and other metaprogramming tools. It has also inspired a set of other "styles" of program expression.».
* Richard A. Kelsey (March 1995). «A Correspondence between Continuation Passing Style and Static Single Assignment Form». ACM SIGPLAN Notices30 (3): 13–22. doi:10.1145/202530.202532.