Best reference books – Formal Languages and Automata Theory