"STACS 91, Theoretical Aspects of Computer Science 8 conf" - читать интересную книгу автора (Christian Choffrut, Matthias Jantzen)