Discrete Mathematics using a computer - O'Donnell, John (New Delhi Springer, 2006)