Combining Monads. - David J. King; Philip Wadler (Functional Programming, 1992)

Functional Graph Algorithms with Depth-First Search (Preliminary Summary). - David J. King; John Launchbury (Functional Programming, 1993)

Functional Binomial Queues. - David J. King (Functional Programming, 1994)

Structuring Depth-First Search Algorithms in Haskell. - David J. King; John Launchbury (POPL, 1995)

Functional programming and graph algorithms. - David J. King (1996)

Towards an Operational Semantics for a Parallel Non-Strict Functional Language. - Jon G. Hall; Clement A. Baker-Finch; Philip W. Trinder; David J. King (IFL, 1998)

A Strategic Profiler for Glasgow Parallel Haskell. - David J. King; Jon G. Hall; Philip W. Trinder (IFL, 1998)

An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. - Paul Baker; Clive Jervis; David J. King (Scottish Functional Programming Workshop, 1999)

An operational semantics for parallel lazy evaluation. - Clement A. Baker-Finch; David J. King; Philip W. Trinder (ICFP, 2000)

Automatic Generation of Conformance Tests from Message Sequence Charts. - Paul Baker; Paul Bristow; Clive Jervis; David J. King; Bill Mitchell (SAM, 2002)

Evaluating distributed functional languages for telecommunications software. - Jan Henry Nyström; Philip W. Trinder; David J. King (Erlang Workshop, 2003)

Are High-Level Languages Suitable for Robust Telecoms Software?. - Jan Henry Nyström; Philip W. Trinder; David J. King (SAFECOMP, 2005)

Detecting and resolving semantic pathologies in UML sequence diagrams. - Paul Baker; Paul Bristow; Clive Jervis; David J. King; Robert Thomson 002; Bill Mitchell; Simon Burton 001 (ESEC/SIGSOFT FSE, 2005)

Evaluating high-level distributed language constructs. - Jan Henry Nyström; Philip W. Trinder; David J. King (ICFP, 2007)

High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG. - Jan Henry Nyström; Philip W. Trinder; David J. King (Concurr. Comput. Pract. Exp., 2008)