XAVIER THEORY OF AUTOMATA, FORMAL LANGUAGE & COMPUTATION - NEW AGE INTERNATIONAL LTD., 2007. - 345 - REFERENCE N . B.TECH Dewey Class. No.: 004/XAV