L. Teixeira and M. ter Beek.
" Front Matter", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. i-xviii.