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