Lipton, Richard J. and Kenneth W. Regan, ‘David Johnson’: ‘David Johnson: Galactic Algorithms’, People, Problems, and Proofs: Essays from Gödel’s Lost Letter: 2010, edited by Richard J. Lipton and Kenneth W. Regan, Springer, 2013, pp 109–112.
book chapter · https://doi.org/10.1007/978-3-642-41422-0_20