"Mathematical Foundations of Computer Science 1995 20 conf., MFCS'95" - читать интересную книгу автора (Andrzej M. Borzyszkowski, Jiri Wiedermann, Petr Hajek)