J. Aczel, Fung, P., Bornat, R., Oliver, M., O'Shea, T., and Sufrin, B.,
“Computer science undergraduates learning logic using a proof editor: work in progress”, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.
T. Collins and Fung, P.,
“Evaluating Hank”, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.