Introduction to discrete mathematics with ISETL - Fenton, William E.; Dubinsky, Ed (Springer, 1996)