1. Can programming be liberated from the von Neumann style?;Backus;Communications of A.C.M.,1978
2. Belk, “Thompson's Group F”, Cornell University, Department of Mathematics, Ph.D. thesis, 2004.
3. Introductory notes on Richard Thompson's groups;Cannon;L'Enseignement Mathematique,1996
4. Categorical Combinators, Sequential Algorithms, and Functional Programming;Curien,1986
5. Splitting homotopy idempotents II;Freyd;Journal of Pure and Applied Algebra,1993