M. Ayala Rincón y C. Muñoz, «Explicit substitions and all that», Rev. colomb. comput., vol. 1, n.º 1, pp. 46–72, dic. 2000.