OSI-Architecture - A Mathematical Framework. - David Freestone (ICCC, 1986)

Specification and Verification in Communications Standards. - David Freestone (Specification and Verification of Concurrent Systems, 1988)

Specifying ROSE in LOTOS. - David Freestone; Sukhvinder S. Aujla (FORTE, 1988)

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

Time on social networking sites is associated with impulsive decision-making. - Deng Pan; Kaitlin M. Lewin; David Freestone; Dar Meshi (Behav. Inf. Technol., 2025)