Cited publications in People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010:David Johnson: Galactic Algorithms (2013)David Johnson: Galactic Algorithms (2013)