Recursion is a Computational Effect (2000)

by Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry