by J. A. Bergstra, L. M. G. Feijs
"The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and…