"Mathematics of Program Construction, 6 conf., MPC 2002" - читать интересную книгу автора (Eerke A. Boiten, Bernhard Möller)