"Mathematical Foundations of Computer Science 1975, MFCS'75, 4 conf" - читать интересную книгу автора (J. Becvar)