Burrows,Terry Automata Theory Languages & Computation - New Delhi Pearson 2008 - 486 Dewey Class. No.: 511.3