Mathematical foundations of computer science - Bathul, Shahnaz (PHI Learning, 2016)