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