Formal languages and automata theory - Nagpal, C K (Oxford University Press, 2013)