"Mathematical Foundations of Computer Science 1992 17 conf., MFCS'92" - читать интересную книгу автора (Ivan M. Havel, Vaclav Koubek)