Ayala Rincón, M.; Muñoz, C. Explicit Substitions and All That. Rev. colomb. comput. 2000, 1, 46-72.