TREJOS ZELAYA , I. .; SALAZAR SOLANO, I. A. .; CABALLERO , J. .; TORRES-ROJAS , F. J. . TAM: An Abstract Machine Specification in Z. Technology Inside by CPIC, [S. l.], v. 5, p. 30–51, 2020. Disponível em: https://cpic-sistemas.or.cr/revista/index.php/technology-inside/article/view/37. Acesso em: 17 feb. 2025.