Discrete mathematics using a computer - O'Donnell, John