Aranda B., J.A. (tran.) (2013) “Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico”, Ingeniería y Competitividad, 15(2), pp. 137–149. doi:10.25100/iyc.v15i2.2601.