Trejos Zelaya , I. ., Salazar Solano, I. A. ., Caballero , J. . y Torres-Rojas , F. J. . (2020) «TAM: An Abstract Machine Specification in Z», Technology Inside by CPIC, 5, pp. 30–51. Disponible en: https://cpic-sistemas.or.cr/revista/index.php/technology-inside/article/view/37 (Accedido: 17 febrero 2025).