O.: The Algebra of Programming (1997)

by R Bird, Moor
Venue:Series in Computer Science, Prentice-Hall International