1. M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.
2. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy. Explicit Substitutions. Journal of Functional Programming, 4(1):375–416, 1991.
3. R. Bloo. Preservation of Termination for Explicit Substitution. PhD. Thesis, Eindhoven University, 1997.
4. R. Bloo and H. Geuvers. Explicit Substitution: on the edge of strong normalization. Theoretical Computer Science, 204, 1998.
5. R. Bloo, K. Rose. Combinatory Reduction Systems with explicit substitution that preserve strong normalization. In RTA’96, LNCS 1103, 1996.