Andrew W. Appel. Loop Headers in Lambda-Calculus or CPS. Higher-Order and Symbolic Computation, 7(4):337-343, 1994.
@article{Appel94, title = {Loop Headers in Lambda-Calculus or CPS}, author = {Andrew W. Appel}, year = {1994}, researchr = {https://researchr.org/publication/Appel94}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {7}, number = {4}, pages = {337-343}, }