"Fundamentals of Computation Theory, 8 conf., FCT '91" - читать интересную книгу автора (Lothar Budach)