R. Lins.
" The Turner 2-Strings Machines", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 209-224.