Categorical Combinators, Sequential Algorithms, And Functional Programming door Pierre-Louis Curien & P-.L. Curien