List partitions (1993)

by R S Bird, O De Moor
Venue:Formal Aspects of Computing