Neil D. Jones

Priority Paging Algorithms and the Extension Problem

Edward G. Coffman, Neil D. Jones, 1971, SWAT.

A Formal Type System for Comparing Partial Evaluators

A. P. Ershov, Neil D. Jones, Flemming Nielson, 1988 .

Program control via transition matrices: a novel application of micro-programming

Neil D. Jones, A. Ron Oliver, 1976 .