Royer, Tiago, E 		Marchi, Jerusa.
" Blum axioms and nondeterministic computation of functions" <em>Anais do Concurso de Trabalhos de Iniciação Científica da SBC (CTIC-SBC)</em> [Online], (4 julho 2016)