Mathematical foundations of computer science - Rao, Gajavelli S.S. Bhishma (Scitech, 2006)