(1)
Trejos Zelaya , I. .; Salazar Solano, I. A. .; Caballero , J. .; Torres-Rojas , F. J. . TAM: An Abstract Machine Specification in Z. TIBCPIC 2020, 5, 30-51.