Learning discrete mathematics with ISETL - Baxter, Nancy; Dubinsky, Ed; Levin, Gary (Springer, 1989)