C. Sales and R. de Freitas.
"Abertura do III Encontro de Teoria da Computação", in <em>Anais do III Encontro de Teoria da Computação</em>, Natal, 2018.