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

A multilevel simulator at the register transfer level for use in an introductory machine organization class. - Dale Skrien; John Hosack (SIGCSE, 1991)