An introduction to the theory of lists (1987)

by R S Bird
Venue:Logic of Programming and Calculi of Discrete Design. NATO ASI Series Vol. F36