An Introduction to the Theory of Lists. (1987)

by R S Bird
Venue:In NATO Inst. on Logic of Progr. and Calculi of Discrete Design,