Published in: Infinity, Computability, and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch / ed. by Stefan Geschke ... (ed.). - London : College Publ., 2014. - (Tributes ; 23). - pp. 49-70. - ISBN 978-1-84890-130-8
