Report on the use of a symbolic mathematics system in undergraduate instruction. - John Hosack; Kenneth Lane; Donald Small (ACM Commun. Comput. Algebra, 1985)