"Mathematical foundations of programming" - читать интересную книгу автора (Beckman F.)