Ferreira, Ana Paula, 		Moreira, Nicholas, E 		Portella, Lourenço.
" Sintaxe e semântica formais de "Máquinas de Post" como máquinas de estados finitos" <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (9 outubro 2023)