and Oege de Moor. Algebra of Programming (1997)

by Richard Bird
Venue:International Series in Computer Science