Lins, R.
(2025).
 The Turner 2-Strings Machines.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 209-224). Porto Alegre: SBC.