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