Mathematical foundations of Computer Science - Bathul, Shahnaz (PHI, 2010)