Industrialising Formal Methods for Telecommunications. - Mark T. Norris; Sinclair Guillaume Stockman (ESEC, 1989)

A Framework for Software Quality Measurement. - Sinclair Guillaume Stockman; Alan Richard Todd; Gerald Anthony Robinson (IEEE J. Sel. Areas Commun., 1990)

Life after ISO 9001: British Telecom's approach to software quality. - Mark T. Norris; Peter Rigby; Sinclair Guillaume Stockman (IEEE Commun. Mag., 1994)

Using Z to Rigorously Review a Specification of a Network Management System. - Tony Bryant; Andy Evans; Lesley Semmens; Rajko Milovanovic; Sinclair Guillaume Stockman; Mark T. Norris; Clive Selley (ZUM, 1995)