de Moor. Algebra of programming (1997)

by R Bird, O
Venue:Prentice-Hall, Inc., Upper Saddle River