"Automata, Languages and Programming, 25 conf., ICALP'98" - читать интересную книгу автора (Kim G. Larsen, Sven Skyum, Glynn Winskel)