James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin: Computer science undergraduates learning logic using a proof editor: work in progress. PPIG 1999: 15