Structuring for the VDM Specification Language. - Stephen Bear (VDM Europe, 1988)

Towards a Formal Semantics of the BS/VDM Specification Language. - Peter Gorm Larsen; Michael Meincke Arentoft; Brian Q. Monahan; Stephen Bear (IFIP Congress, 1989)

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

An Overview of HP-SL. - Stephen Bear (VDM Europe (1), 1991)

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

Specifying medical software. - T. Rush; Stephen Bear (CBMS, 1992)

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