Ferreira, Ana Paula, Nicholas Cortez Moreira, and Lourenço Nataniel Pinheiro Portella.
" Sintaxe e semântica formais de "Máquinas de Post" como máquinas de estados finitos." <em>Anais do VII Workshop-Escola de Informática Teórica,
Rio Grande/RS, 2023</em>. SBC, 2023,  
pp.111-119.