"Mathematics of Program Construction, 8 conf., MPC 2006" - читать интересную книгу автора (Tarmo Uustalu)