Theory of computing : a gentle introduction - Kinber, Efim. (Delhi : Pearson Education Asia, 2012)