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 Lipton, Richard J. and Kenneth W. Regan, Berlin, Heidelberg: Springer, 2013, pp 109–112.
book chapter · https://doi.org/10.1007/978-3-642-41422-0_20