David B. Benson An abstract machine theory for formal language parsers. [Citation Graph (0, 0)][DBLP] Category Theory Applied to Computation and Control, 1974, pp:106-111 [Conf]
David B. Benson The Category of Milner Processes is Exact. [Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1987, pp:71-97 [Conf]
David B. Benson, Jerzy Tiuryn Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note). [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1985, pp:53-58 [Conf]
David B. Benson A machine level semantics for nondeterministic, parallel programs. [Citation Graph (0, 0)][DBLP] Symposium on Programming, 1982, pp:15-25 [Conf]
Michael G. Main, David B. Benson Denotational Semantics for ``Natural'' Language Question-Answering Programs. [Citation Graph (0, 0)][DBLP] American Journal of Computational Linguistics, 1983, v:9, n:1, pp:11-21 [Journal]
David B. Benson The Basic Algebraic Structures in Categories of Derivations [Citation Graph (0, 0)][DBLP] Information and Control, 1975, v:28, n:1, pp:1-29 [Journal]
David B. Benson, Michael G. Main Workshop Report: Third Workshop on the Mathematical Foundations of Programming Language Semantics, 1987, New Orleans. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1987, v:22, n:9, pp:38-43 [Journal]