A. Ferreira, N. Moreira, and L. Portella.
" 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>, Rio Grande/RS, 2023, pp. 111-119, doi: <a href="https://doi.org/10.5753/weit.2023.26604">https://doi.org/10.5753/weit.2023.26604</a>.