C. Sales and R. de Freitas.
" Opening of the 1st Theory of Computation Meeting", in <em>Proceedings of the 1st Theory of Computation Meeting</em>, Porto Alegre, 2016, pp. 764-771.