Theory of computing a gentle introduction - Kinber, Efim & Smith, Carl (Prentice Hall, New Jersey, 2001)