Formal Design and Development of Ada Real-Time Embedded Systems. - Elspeth Cusack (Specification and Verification of Concurrent Systems, 1988)

An Object Oriented Interpretation of LOTOS. - Elspeth Cusack; Steve Rudkin; Chris Smith (FORTE, 1989)

Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! - Elspeth Cusack; Michael Lai (REX Workshop, 1990)

Inheritance in Object-Oriented Z. - Elspeth Cusack (ECOOP, 1991)

Object Oriented Modelling in Z for Open Distributed Systems. - Elspeth Cusack (Open Distributed Processing, 1991)

Design Techniques and Methodologies. - Elspeth Cusack (Open Distributed Processing, 1991)

Refinement, Conformance and Inheritance. - Elspeth Cusack (Formal Aspects Comput., 1991)

Using Z in Communications Engineering. - Elspeth Cusack (Z User Workshop, 1992)

ZEST. - Elspeth Cusack; G.-H. Bagherzadeh Rafsanjani (Object Orientation in Z, 1992)

Deriving Tests for Objects Specified in Z. - Elspeth Cusack; Clazien D. Wezeman (Z User Workshop, 1992)

Formal object-oriented methods in communication standards. - Elspeth Cusack; Gregor von Bochmann (OOPS Messenger, 1992)