Foundations of discrete mathematics with algorithms and programming - Sridharan, Sriraman (CRC Press, 2019)