Theory of computing : a gentle introduction - KINBER (Prentice Hall, 2001)