"Mathematical Foundations of Computer Science 2003, 28 conf., MFCS 2003" - читать интересную книгу автора (Branislav Rovan, Peter Vojtas)