"Automata, Languages and Programming, 32 conf., ICALP 2005" - читать интересную книгу автора (Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti...)