Aranda B., Jesús A., translator. “Sobre La Decidibilidad De Dos Fragmentos Del π-cálculo asincrónico”. Ingeniería Y Competitividad, vol. 15, no. 2, Dec. 2013, pp. 137-49, https://doi.org/10.25100/iyc.v15i2.2601.