Discrete mathematics using a computer - O'Donnell, John, 1952- (Springer, 2006)