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