Learning abstract algebra with ISETL - Dubinsky, Ed; Leron, Uri (Springer, 1994)