C. Sales and R. de Freitas.
"Abertura do I Encontro de Teoria da Computação", in <em>Anais do I Encontro de Teoria da Computação</em>, Porto Alegre, 2016, pp. 764-771.