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