Trejos Zelaya , I. ., Salazar Solano, I. A. ., Caballero , J. ., & Torres-Rojas , F. J. . (2020). TAM: An Abstract Machine Specification in Z. Technology Inside by CPIC, 5, 30–51. Recuperado a partir de https://cpic-sistemas.or.cr/revista/index.php/technology-inside/article/view/37