and Oege de Moor. Algebra of Programming. SeriesinComputer Science (1997)

by Richard Bird