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