and Oege de Moor. The algebra of programming. Programming (1994)

by Richard Bird