"Mathematical Foundations of Computer Science 2007, 32 conf., MFCS 2007" - читать интересную книгу автора (Ludek Kucera, Antonín Kucera)