"The Algebra of Programming (Prentice-Hall International Series in Computer Science)" - читать интересную книгу автора (Richard Bird, Oege de Moor)