Categorical Combinators, Sequential Algorithms, and Functional Programming door P.L. Curien