CYCLOPS-1: a second-generation recognition system. - T. Marrill; A. K. Hartley; Thomas G. Evans; Burton H. Bloom; David Michael Ritchie Park; Timothy P. Hart; D. Lucille Darley (AFIPS Fall Joint Computing Conference, 1963)

On Formalised Computer Programs. - David C. Luckham; David Michael Ritchie Park; Mike Paterson (J. Comput. Syst. Sci., 1970)

Induction Rules and Termination Proofs. - Peter Hitchcock; David Michael Ritchie Park (ICALP, 1972)

On the Termination of Program Schemas - A. J. Kfoury; David Michael Ritchie Park (Inf. Control., 1975)

Finiteness is Mu-Ineffable. - David Michael Ritchie Park (Theor. Comput. Sci., 1976)

On the Semantics of Fair Parallelism. - David Michael Ritchie Park (Abstract Software Specifications, 1979)

When are two Effectively given Domains Identical?. - Akira Kanda; David Michael Ritchie Park (Theoretical Computer Science, 1979)

Concurrency and Automata on Infinite Sequences. - David Michael Ritchie Park (Theoretical Computer Science, 1981)

Reasoning with Fairness Constraints. - David Michael Ritchie Park (FCT, 1983)