RIIS, S. Bootstrapping the Primitive Recursive Functions by 47 Colors. BRICS Report Series, [S. l.], v. 1, n. 25, 1994. DOI: 10.7146/brics.v1i25.21641. Disponível em: https://tidsskrift.dk/brics/article/view/21641. Acesso em: 22 nov. 2024.