Theory of computing : A gentle introduction - Kinber, Efim (Prentice-Hall, 2001)