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