Ferreira, A., 		Moreira, N., & 		Portella, L.
2023 out  9.  Sintaxe e semântica formais de "Máquinas de Post" como máquinas de estados finitos. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :