Categorical combinators, sequential algorithms, and functional programming - Curien, Pierre-Louis, 1953- (Progress in theoretical computer science, 1986)