Learning discrete mathematics with ISETL , by N. Baxter, E. Dubinsky and G. Levin. Pp 416. DM 94. 1989. ISBN 3-540-96898-9 (Springer)