Categorical Combinators,Sequential Algorithms and Functional Programming. Birkhäuser, revised edition (1993)

by P-L Curien