Theory of Computing. A Gentle Introduction by Efim Kinber (2001)