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