"Mathematical Foundations of Computer Science 2006, 31 conf., MFCS 2006" - читать интересную книгу автора (Rastislav Královic, Pawel Urzyczyn)