An application of formal semantics to student modelling : an investigation in the domain of teaching Prolog. - Pat Fung (1989)

Fear of Formal Reasoning. - Pat Fung; Pamela O'Shea; Richard Bornat; Steve Reeves; Doug Goldson (PPIG (2), 1992)

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. - Tim O'Shea; Pat Fung; Richard Bornat; Steve Reeves; Doug Goldson (PPIG (1), 1992)

Computer tools to teach formal reasoning. - Pat Fung; Tim O'Shea; Doug Goldson; Steve Reeves; Richard Bornat (Comput. Educ., 1996)

The Use and Effectiveness of Palmtop Computers in Education. - Sydney Robertson; Judith Calder; Pat Fung; Ann C. Jones; Tim O'Shea (Br. J. Educ. Technol., 1997)

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

Evaluating Hank. - Trevor D. Collins; Pat Fung (PPIG, 1999)

Portable information technologies for supporting graphical mathematics investigations: overview of the PIGMI Project. - Sara Hennessy; Pat Fung; Eileen Scanlon (J. Comput. Assist. Learn., 2001)

A visual programming approach for teaching cognitive modelling. - Trevor D. Collins; Pat Fung (Comput. Educ., 2002)

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms. - James Aczel; Pat Fung; Richard Bornat; Martin Oliver; Tim O'Shea; Bernard Sufrin (Br. J. Educ. Technol., 2003)