Luca Aceto, Monika Henzinger, Jiří Sgall Automata, Languages and Programming - Germany Springer 2011 ISBN: 978-3-642-22006-7 Subjects--Topical Terms: Automata, Languages and ProgrammingComputer Science