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