Invariants in the application-oriented specification of control systems. - Stephen J. Goldsack; Jeff Kramer (Autom., 1982)

Specification of an Operating System Kernel FOREST and VDM compared. - Stephen J. Goldsack (VDM Europe, 1988)

Communication between Ada programs in DIADEM. - Colin Atkinson 002; Stephen J. Goldsack (IRTAW, 1988)

An object oriented approach to virtual nodes: are package types an answer? - Stephen J. Goldsack; C. Alkinson (IRTAW, 1989)

Adapting Ada distribution and fault tolerance. - Anthony B. Gargaro; Stephen J. Goldsack; R. K. Powers; Richard A. Volz; Andy J. Wellings (IRTAW, 1990)

DRAGOON: a tool for the Ada programmer. - Stephen J. Goldsack; Colin Atkinson 002 (TRI-Ada, 1991)

Requirements engineering for real-time systems. - Stephen J. Goldsack; A. C. W. Finkelstein (Softw. Eng. J., 1991)

AdaPT and Ada 9X. - Stephen J. Goldsack; A. A. Holzbacher-Valero; Richard A. Volz; Raymond Waldrop (TRI-Ada, 1992)

Refinement, Subtyping and Subclassing in VDM++. - Kevin Lano; Stephen J. Goldsack (Theory and Formal Methods, 1994)

Rigorous Development of Concurrent O-O Systems. - Eugène Dürr; Stephen J. Goldsack (TOOLS (13), 1994)

Supporting distribution and dynamic reconfiguration in AdaPT. - Anthony B. Gargaro; Stephen J. Goldsack; A. A. Holzbacher-Valero; Richard A. Volz; Raymond Waldrop; Andy J. Wellings (Distributed Syst. Eng., 1994)

Distributed and parallel Ada and the Ada 9X recommendations. - Richard A. Volz; Ron Theriault; Raymond Waldrop; Stephen J. Goldsack; A. A. Holzbacher-Valero (Distributed Syst. Eng., 1994)

Discrete event process controller synthesis using VDM++. - Kevin Lano; Stephen J. Goldsack (ICECCS, 1995)

Formal Methods and Object Technology - Stephen J. Goldsack; Stuart J. H. Kent (Formal Methods and Object Technology, 1996)

Real Time Formal Specification using VDM++. - Eugène Dürr; Stephen J. Goldsack; Jan van Katwijk (SBES, 1996)

Real time formal specification using VDM++. - Jan van Katwijk; Eugène Dürr; Stephen J. Goldsack (WORDS, 1996)

Annealing and Data Decomposition in VDM++. - Stephen J. Goldsack; Kevin Lano; Eugène Dürr (ACM SIGPLAN Notices, 1996)

Specification and Refinement of Continuous Real-Time Systems. - Stephen J. Goldsack; Kevin Lano; Eugène Dürr (ARTS, 1997)

Formalizing Real-Time System Design. - Kevin Lano; Stephen J. Goldsack (ECOOP Workshops, 1997)

Hybrid Object-Oriented Real-Time Software Development with VDM++. - Jan van Katwijk; Eugène Dürr; Stephen J. Goldsack (ICFEM, 1997)

Integrating VDM++ and Real-Time System Design. - Kevin Lano; Stephen J. Goldsack; Juan Bicarregui; Stuart Kent 001 (ZUM, 1997)

Models Involving Multiple Instances of a Component. - Stephen J. Goldsack; Kevin Lano (LMO, 1999)