Categorical ML - Category-Theoretic Modular Programming. - Esther Dennis-Jones; David E. Rydeheard (Formal Aspects Comput., 1993)