Elements of computation theory - Singh, Arindama (Springer, 2009)