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