Gopalkrishnan,Ganesh Lalitha Computation Engineering applied automata theory and logic - New Delhi Springer 2006 - 471p. [08] ISBN: 9788184891270 Dewey Class. No.: 004.01 / GOP/COM