Aranda B., J. A. «Sobre La Decidibilidad De Dos Fragmentos Del π-cálculo asincrónico». Ingeniería Y Competitividad, vol. 15, n.º 2, noviembre de 2013, pp. 137-49, doi:10.25100/iyc.v15i2.2601.