Mathematics of Computing - Gupta,A K and Sarkar,S K. (Wheeler, 1999)