Databases in Software Development: The Ada Programming Support Environment. - J. Anthony Hall (Ada Software Tools Interfaces, 1983)

Tool Interfaces in Integrated Project Support Environments. - Anthony Hall (ICSE, 1987)

Using Z as a Specification Calculus for Object-Oriented Systems. - Anthony Hall (VDM Europe, 1990)

Seven Myths of Formal Methods. - Anthony Hall (IEEE Softw., 1990)

Is Software Engineering? - Anthony Hall (CSEE, 1992)

Integrating Methods in Practice. - Anthony Hall (Formal Methods in Systems Engineering, 1993)

Specifying and Interpreting Class Hierarchies in Z. - Anthony Hall (Z User Workshop, 1994)

The Future of Formal Methods in Industry. - Anthony Hall; David Lorge Parnas; Nico Plat; John M. Rushby; Chris T. Sennett (ZUM, 1995)

An Invitation to Formal Methods. - Jonathan P. Bowen; Ricky W. Butler; David L. Dill; Robert L. Glass; David Gries; Anthony Hall; Michael G. Hinchey; C. Michael Holloway; Daniel Jackson 001; Cliff B. Jones; Michael J. Lutz; David Lorge Parnas; et al. (Computer, 1996)

Using Formal Methods to Develop an ATC Information System. - Anthony Hall (IEEE Softw., 1996)

Do interactive systems need specifications? - Anthony Hall (DSV-IS, 1997)

A Real Time Kernel to Support the Transputer Programming Model. - Adrian Cox; Anthony Hall (HPCN Europe, 1997)

Visual Target Tracking and Extraction from a Sequence of Images. - Nikolaos G. Bourbakis; Richard Andel; Anthony Hall (ICTAI, 1997)

What's the Use of Requirements Engineering? - Anthony Hall (RE, 1997)

Taking Z Seriously. - Anthony Hall (ZUM, 1997)

What Does Industry Need From Formal Specification Techniques? - Anthony Hall (WIFT, 1998)

A Unified Approach to Systems and Software Requirements. - Anthony Hall (RE, 2001)

Will It Work? - Jonathan Hammond; Rosamund Rawlings; Anthony Hall (RE, 2001)

Z Styles for Security Properties and Modern User Interfaces. - Anthony Hall (FASec, 2002)

Correctness by Construction: Integrating Formality into a Commercial Development Process. - Anthony Hall (FME, 2002)

Correctness by Construction: Developing a Commercial Secure System. - Anthony Hall; Roderick Chapman (IEEE Softw., 2002)

Making Formal Methods Work. - Anthony Hall (SEFM, 2005)

Software Verification and Software Engineering a Practitioner's Perspective. - Anthony Hall (VSTTE, 2005)

Retrenchment and the Atomicity Pattern. - Richard Banach; Czeslaw Jeske; Anthony Hall; Susan Stepney (SEFM, 2007)

Realising the Benefits of Formal Methods. - Anthony Hall (J. Univers. Comput. Sci., 2007)

Integrating Z into Large Projects Tools and Techniques. - Anthony Hall (ABZ, 2008)

Motion Capture for a Natural Tree in the Wind. - Jie Long; Cory Reimschussel; Ontario Britton; Anthony Hall; Michael D. Jones (MIG, 2010)

Atomicity failure and the retrenchment atomicity pattern. - Richard Banach; Czeslaw Jeske; Anthony Hall; Susan Stepney (Formal Aspects Comput., 2013)