Categorical Combinators, Sequential Algorithms and Functional Programming (1986)

by P-L Curien