"Mathematics of Program Construction, MPC'95" - читать интересную книгу автора (Bernhard Möller)