A Tool for Defining the Architecture of Z Specifications. - Andrew Charles Coombes; John A. McDermid (Z User Workshop, 1990)

Using Diagrams to Give a Formal Specification of Timing Constraints in Z. - Andrew Charles Coombes; John A. McDermid (Z User Workshop, 1992)

Specifying temporal requirements for distributed real-time systems in Z. - Andrew Charles Coombes; John A. McDermid (Softw. Eng. J., 1993)

A pragmatic approach to the formal development of safety-critical systems. - Andrew Charles Coombes (1994)

Requirements Analysis and Safety: A Case Study (using GRASP). - Andrew Charles Coombes; John A. McDermid; Jonathan D. Moffett; Philip Morris (SAFECOMP, 1995)

A Model for a Causal Logic for Requirements Engineering. - Jonathan D. Moffett; Jon G. Hall; Andrew Charles Coombes; John A. McDermid (Requir. Eng., 1996)