Mathematical foundations of computer science - Shanker Rao, G. (I. K. International, 2006)