1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit Substitutions. J. of Functional Programming 1(4), 375–416 (1991)
2. Arbiser, A.: The Expansion Problem in Lambda Calculi with Explicit Substitution. J. Log. Comput. 18(6), 849–883 (2008)
3. Benaissa, Z.-E.-A., Briaud, D., Lescanne, P., Rouyer-Degli, J.: λυ, a Calculus of Explicit Substitutions which Preserves Strong Normalization. J. of Functional Programming 6(5), 699–722 (1996)
4. Bloo, R., Rose, K.H.: Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection. In: CSN-95: Computer Science in the Netherlands, pp. 62–72 (1995)
5. da Silva, F.H.: Expansibilidade em Cálculos de Substituições Explícitas. Master’s thesis, Graduate Program in Informatics, Universidade de Brasília (December 2012) (in Portuguese)