Categories. - David H. Pitt (CTCS, 1985)

Object-Oriented Process Specification. - Stephen A. Schuman; David H. Pitt; Paddy H. Byers (Specification and Verification of Concurrent Systems, 1988)

Concurrent Data Structures. - Adrian Colbrook; Colin Smythe; David H. Pitt (ICCI, 1990)

Conservative extensions: a cautionary note. - Paddy Byers; David H. Pitt (Bull. EATCS, 1990)

The Derivation of Conformance Tests from LOTOS Specifications. - David H. Pitt; David Freestone (IEEE Trans. Software Eng., 1990)

Real-Timed Concurrent Refineable Behaviours. - David Murphy; David H. Pitt (FTRTFT, 1992)

Object Oriented Specification of Multi-Layered Protocols. - Andrew F. Watts; David H. Pitt; Colin Smythe (ICCI, 1993)

The Rest Says Unchanged (Concurrency and State-Based Specification). - David H. Pitt; Paddy Byers (Formal Aspects Comput., 1994)

A Review of Object-oriented Approaches in Formal Methods. - Antonio Ruiz-Delgado; David H. Pitt; Colin Smythe (Comput. J., 1995)

Overtaking in Asynchronous Periodic Systems. - David H. Pitt; M. W. Shields (Formal Aspects Comput., 1999)

Local Invariance. - David H. Pitt; Michael W. Shields (Formal Aspects Comput., 2002)