1. Doyle, P.G., Conway, J.H.: Division by three (1994). arXiv:math/0605779 [math.LO]
2. Doyle, P.G., Qiu, C.: Division by four (2015). arXiv:1504.01402 [math.LO]
3. Eijck, J., Iemhoff, R., Joosten, J.J. (eds.): Liber Amicorum Alberti: A Tribute to Albert Visser, Tributes, vol. 30. College Publications, London (2016)
4. Gaifman, H., Dimitracopoulos, C.: Fragments of Peano’s arithmetic and the MRDP theorem. In: Logic and Algorithmic, no. 30 in Monographie de L’Enseignement Mathématique, pp. 187–206. Université de Genève (1982)
5. Kaye, R.: Diophantine induction. Ann. Pure Appl. Log. 46(1), 1–40 (1990)