Royer, T., & 		Marchi, J.
2016 jul  4.  Blum axioms and nondeterministic computation of functions. Anais do Concurso de Trabalhos de Iniciação Científica da SBC (CTIC-SBC). [Online] :