The PROSPECTRA System: A Unified Development Framework. - Einar W. Karlsen; Bernd Krieg-Brückner; Owen Traynor (AMAST, 1991)

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. - Bernd Krieg-Brückner; Einar W. Karlsen; Junbo Liu; Owen Traynor (VDM Europe (2), 1991)

Knowledge-Based Transfonnational Programming. - Junbo Liu; Owen Traynor; Bernd Krieg-Brückner (SEKE, 1992)

Program Development: Attributes for Transformation and Proof. - Einar W. Karlsen; Owen Traynor (PROSPECTRA Book, 1993)

Uniform Transformational Development. - Bernd Krieg-Brückner; Einar W. Karlsen; Junbo Liu; Owen Traynor (PROSPECTRA Book, 1993)

Guided Tour of the PROSPECTRA System. - Junbo Liu; Owen Traynor; Steen Lynenskjold (PROSPECTRA Book, 1993)

Verification. - Andrew D. McGettrick; Owen Traynor; David Duffy (PROSPECTRA Book, 1993)

Program Development: Proof Subsystem. - Owen Traynor (PROSPECTRA Book, 1993)

The Cogito methodology and system. - Anthony C. Bloesch; Edmund Kazmierczak; Peter Kearney; Owen Traynor (APSEC, 1994)

The Cogito Repository Manager. - Owen Traynor; Anthony C. Bloesch (APSEC, 1994)

Cogito: a Methodology and System for Formal Software Development. - Anthony C. Bloesch; Edmund Kazmierczak; Peter Kearney; Owen Traynor (Int. J. Softw. Eng. Knowl. Eng., 1995)

Formal Methods Pilot Project. - Tracey Hart; Fiona Linn; Roberto Morello; Greg Royle; Peter Kearney; Peter A. Lindsay; Kelvin J. Ross; Owen Traynor (APSEC, 1996)

The Cogito Development System. - Owen Traynor; Daniel Hazel; Peter Kearney; Andrew P. Martin; Ray Nickson; Luke Wildman (AMAST, 1997)

Possum: An Animator for the SUM Specification Language. - Daniel Hazel; Paul A. Strooper; Owen Traynor (APSEC, 1997)

A Generic Model for Fine Grained Configuration Management Including Version Control and Traceability. - Peter Lindsey; Yaowei Liu; Owen Traynor (Australian Software Engineering Conference, 1997)

Requirements Engineering and Verification using Specification Animation. - Daniel Hazel; Paul A. Strooper; Owen Traynor (ASE, 1998)

Supporting Fine-Grained Traceability in Software Development Environments. - Peter A. Lindsay; Owen Traynor (SCM, 1998)