The design, implementation, and use of DSTutor: a tutoring system for denotational semantics. - Barry L. Kurtz; Richard L. Oliver; Edward M. Collins (SIGCSE, 1991)