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)

A Review of Several Programs for the Teaching of Logic. - Doug Goldson; Steve Reeves; Richard Bornat (Comput. J., 1993)

A Symbolic Calculator for Non-Strict Functional Programs. - Doug Goldson (Comput. J., 1994)

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

Abstract modelling of interactive systems. - Doug Goldson (INTERACT, 1997)

Formal Modeling of Interactive Systems. - Doug Goldson (APAQS, 2000)

Multiprogram Design in the theory of Owicki and Gries. - Doug Goldson (IWFM, 2001)

Formal Verification of mu-Charts. - Doug Goldson (APSEC, 2002)

µ-Chart-Based Specification and Refinement. - Doug Goldson; Greg Reeve; Steve Reeves (ICFEM, 2002)

Extending the theory of Owicki and Gries with asynchronous message passing. - Doug Goldson (APSEC, 2003)

Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example. - Doug Goldson (IWFM, 2003)

Semantic Properties of mu-Charts. - Doug Goldson; Greg Reeve (SEFM, 2003)

An Experiment in the Design of Distributed Programs. - Doug Goldson (Australian Software Engineering Conference, 2004)

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. - Brad Long; Roger Duke; Doug Goldson; Paul A. Strooper; Luke Wildman (IPDPS, 2004)

Concurrent Program Design in the Extended Theory of Owicki and Gries. - Doug Goldson; Brijesh Dongol (CATS, 2005)

Extending the theory of Owicki and Gries with a logic of progress. - Brijesh Dongol; Doug Goldson (Log. Methods Comput. Sci., 2006)