"Mathematical Foundations of Computer Science 1979 8 conf" - читать интересную книгу автора (J. Becvar)