"Automata, Languages and Programming, 33 conf., ICALP 2006" - читать интересную книгу автора (Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener)