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