"Mathematical Foundations of Computer Science 1976, 5 conf" - читать интересную книгу автора (A. Mazurkiewicz)