Trejos Zelaya I, Salazar Solano IA, Caballero J, Torres-Rojas FJ. TAM: An Abstract Machine Specification in Z. TIBCPIC [Internet]. 31 de julio de 2020 [citado 17 de febrero de 2025];5:30-51. Disponible en: https://cpic-sistemas.or.cr/revista/index.php/technology-inside/article/view/37