"Mathematics of Program Construction, 9 conf., MPC 2008" - читать интересную книгу автора (Philippe Audebaud, Christine Paulin-Mohring)