Structuring Z Specifications: Some Choices. - Anthony MacDonald; David A. Carrington (ZUM, 1995)

Guiding Object-Oriented Design. - Anthony MacDonald; David A. Carrington (TOOLS (28), 1998)

Designing software from formal specifications - Anthony MacDonald (1998)

Some Elements of Z Specification Style: Structuring Techniques. - Anthony MacDonald; David A. Carrington (J. Univers. Comput. Sci., 2000)

A Framework for Subsystem-Based Configuration Management . - Peter A. Lindsay; Anthony MacDonald; Paul A. Strooper; Mark Staples (Australian Software Engineering Conference, 2001)

Generic Description of a Software Document Environment. - Mark A. Toleman; David A. Carrington; Phil Cook; Andrew Coyle; Anthony MacDonald; Jim Welsh; Tim Jones (HICSS, 2001)

Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. - Simon Connelly; Jay Burmeister; Anthony MacDonald; Andrew Hussey (SCS, 2001)

A Tool for Subsystem Configuration Management. - Hagen Völzer; Brenton Atchison; Paul A. Strooper; Peter A. Lindsay; Anthony MacDonald (ICSM, 2002)

Developing Relational Navigation to Effectively Understand Software. - Daniel Jarrott; Anthony MacDonald (APSEC, 2003)

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. - Hagen Völzer; Anthony MacDonald; Brenton Atchison; Andrew Hanlon; Peter A. Lindsay; Paul A. Strooper (IEEE Trans. Software Eng., 2004)

Integration of generic program analysis tools into a software development environment. - Erica Glynn; Ian J. Hayes; Anthony MacDonald (ACSC, 2005)

Model-Driven Development within a Legacy System: An Industry Experience Report. - Anthony MacDonald; Daniel M. Russell; Brenton Atchison (Australian Software Engineering Conference, 2005)