"Automata, Languages and Programming, 16 conf., ICALP89" - читать интересную книгу автора (Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca)