"Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings " - читать интересную книгу автора (Philippe Audebaud, Christine Paulin-Mohring)