Algebra ofProgramming (1997)

by R Bird, O de Moor