Discrete mathematics using a computer - O'Donnell, John (Springer (India) Private Limited, 2006)