Discrete Mathematics Using a Computer - O'Donnell, John; Hall, Cordelia; Page, Rex (Springer London, 2006)