[1]
Trejos Zelaya , I. , Salazar Solano, I.A. , Caballero , J. y Torres-Rojas , F.J. 2020. TAM: An Abstract Machine Specification in Z. Technology Inside by CPIC. 5, (jul. 2020), 30–51.