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