A Process-Control Language. - Peter I. P. Boulton; Pierce A. Reid (IEEE Trans. Computers, 1969)

A Machine Description Language. - Peter I. P. Boulton; J. R. Goguen (Comput. J., 1979)

Estimating Program Reliability. - Peter I. P. Boulton; M. A. R. Kittler (Comput. J., 1979)

Bus, ring, star and tree local area networks. - Peter I. P. Boulton; E. Stewart Lee (Comput. Commun. Rev., 1983)

The Principles and Performance of Hubnet: A 50 Mbit/s Glass Fiber Local Area Network. - E. Stewart Lee; Peter I. P. Boulton (IEEE J. Sel. Areas Commun., 1983)

HUBNET performance measurement. - E. Stewart Lee; Peter I. P. Boulton; Brian W. Thomson (IEEE J. Sel. Areas Commun., 1988)

Transforming bit-serial communication circuits into fast parallel VLSI implementations. - David M. Lewis; Brian W. Thomson; Peter I. P. Boulton; E. Stewart Lee (IEEE J. Solid State Circuits, 1988)

An Architecture for a Trusted Network. - E. Stewart Lee; Brian W. Thomson; Peter I. P. Boulton; Michael Stumm (ESORICS, 1990)

Using Deducibility in Secure Network Modelling. - Brian W. Thomson; E. Stewart Lee; Peter I. P. Boulton; Michael Stumm; David M. Lewis (ESORICS, 1990)