Mathematical : foundation of computer science - Rakesh Dube [et al] (Excel Books, New Delhi, 2001)