Nagpal, C. K. Formal Languages and Automata Theory - Oxford University Press 2011 - 348 ISBN: 978-0-19-807106-8