Ana Paula Ferreira, Nicholas Moreira, and Lourenço Portella. 2023.
 Sintaxe e semântica formais de "Máquinas de Post" como máquinas de estados finitos. In <em>Anais do VII Workshop-Escola de Informática Teórica</em>, outubro 09, 2023, Rio Grande/RS, Brasil. SBC, Porto Alegre, Brasil, 111-119. DOI: <a href="https://doi.org/10.5753/weit.2023.26604">https://doi.org/10.5753/weit.2023.26604</a>.