P. Godefroy, “O ISSN e as máquinas de Turing: a história de um relacionamento”, PBCIB, vol. 10, nº 2, nov. 2015.