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