"STACS 92, Theoretical Aspects of Computer Science 9 conf" - читать интересную книгу автора (Alain Finkel, Matthias Jantzen)