List partitions. To appear in Formal Aspects of Computing (1992)

by O de Moor, R S Bird
Venue:Mathematics of Program Construction