[1]
I. . Trejos Zelaya, I. A. . Salazar Solano, J. . Caballero, y F. J. . Torres-Rojas, «TAM: An Abstract Machine Specification in Z», TIBCPIC, vol. 5, pp. 30–51, jul. 2020.