"Mathematical Foundations of Computer Science 2001, 26 conf., MFCS 2001" - читать интересную книгу автора (Jiri Sgall, Ales Pultr, Petr Kolman)