Discrete Mathematics Using a Computer - OβDonnell, John (Springer-Verlag London Limited, 2006)