A Formal Semantics for a Language with Type Extension. - Peter Bancroft; Ian J. Hayes (ZUM, 1995)

Graphical visualisation support in a uniform environment. - Peter Bancroft; John Hynd; Philip Sinfield (ACSE, 1996)

Module refinement refined (for the calculation of Oberon programs) - Peter Bancroft (1997)

ELP - a web envrionment for learning to program. - Nghi Truong; Peter Bancroft; Paul Roe (ASCILITE, 2002)

A Web Based Environment for Learning to Program. - Nghi Truong; Peter Bancroft; Paul Roe (ACSC, 2003)

Managing Large Class Assessment. - Anthony W. Rhodes; Karyn Bower; Peter Bancroft (ACE, 2004)

Static Analysis of Students' Java Programs. - Nghi Truong; Paul Roe; Peter Bancroft (ACE, 2004)

Automated Feedback for "Fill in the Gap" Programming Exercises. - Nghi Truong; Paul Roe; Peter Bancroft (ACE, 2005)

Multiple Choice Questions Not Considered Harmful. - Karyn Woodford; Peter Bancroft (ACE, 2005)

Learning to program through the web. - Nghi Truong; Peter Bancroft; Paul Roe (ITiCSE, 2005)