INTRODUCATION TO THE THEORY OF COMPUTER SCIENCE: LANGUAGE AND MACHINES - SUDKAMP, THOMAS A (NEW DELHI PEARSON, 2007)