Learning abstract algebra with ISETL Macintosh TM Diskette provided - Dubinsky, Ed (Springer, 1994)