"Axioms and Hulls (Lecture Notes in Computer Science 606)" - читать интересную книгу автора (Donald E. Knuth)