Graphical Views of Process-Orientated Specifications. - David W. Bustard; Adam C. Winstanley; Mark T. Norris; Rodney A. Orr; S. Patel (FORTE, 1988)

Tools for Real-Time System Design. - Rodney A. Orr; Mark T. Norris; Richard Tinker; C. D. V. Rouch (ICSE, 1988)

A pictorial approach to the animation of process-oriented formal specifications. - David W. Bustard; Mark T. Norris; Rodney A. Orr (Softw. Eng. J., 1988)

Systematic method for realtime system design. - Rodney A. Orr; Mark T. Norris; Richard Tinker; C. D. V. Rouch (Microprocess. Microsystems, 1988)

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

Tools to Support Formal Methods. - S. Patel; Rodney A. Orr; Mark T. Norris; David W. Bustard (ICSE, 1989)

Industrial Training for Software Engineers. - P. Mann; A. Mason; Mark T. Norris (CSEE, 1991)

An Exercise in Formalizing the Description of a Concurrent System. - David W. Bustard; Mark T. Norris; Rodney A. Orr; Adam C. Winstanley (Softw. Pract. Exp., 1992)

Software process modelling and measurement: a QMS case study. - A. D. Pengelly; Mark T. Norris; R. Higham (Inf. Softw. Technol., 1993)

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

Software product assessment. - D. J. Karkaria; Mark T. Norris; A. D. Pengelly (IEEE J. Sel. Areas Commun., 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)