Generic programming with relations and functors (1993)

by R S BIRD, O de MOOR, P HOOGENDIJK