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)

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

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)