Algebra of Programmming (1996)

by R Bird, O de Moor
Venue:Int. Series in Comput. Sci