Ragade, B R Automata and theorical computer science - Pearson 2004 - 155 Standard No.: 110785 Dewey Class. No.: 004.015 / 1 RAG