Theory of computing : a gentle introduction - Kinber, Efim (Pearson, 2012)