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