"Mathematics of Program Construction, MPC'98" - читать интересную книгу автора (Johan Jeuring)