T. Royer and J. Marchi.
"Blum axioms and nondeterministic computation of functions", in <em>Anais do XXXV Concurso de Trabalhos de Iniciação Científica da SBC</em>, Porto Alegre, 2016, pp. 1-10.