Graphical Specification of Object-Oriented Systems. - Stephen Bear; Phillip Allen; Derek Coleman; Fiona Hayes (OOPSLA/ECOOP, 1990)

Formal Techniques for OO Software Development (Panel). - Dennis de Champeaux; Pierre America; Derek Coleman; Roger Duke; Doug Lea; Gary T. Leavens; Fiona Hayes (OOPSLA, 1991)

Coherent Models for Object-Oriented Analysis. - Fiona Hayes; Derek Coleman (OOPSLA, 1991)

OASIS: An Object-Oriented Specification Language. - Oscar Pastor 001; Fiona Hayes; Stephen Bear (CAiSE, 1992)

Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. - Derek Coleman; Fiona Hayes; Stephen Bear (IEEE Trans. Software Eng., 1992)

Comparison of conformations of small molecule structures from the Protein Data Bank with those generated by Concord, Cobra, ChemDBS-3D, and Converter and those extracted from the Cambridge Structural Database. - Eleanor M. Ricketts; John Bradshaw; Mike Hann; Fiona Hayes; Neil Tanna; David M. Ricketts (J. Chem. Inf. Comput. Sci., 1993)