"On Explicit Substitution and Names (Extended Abstract)."

Eike Ritter, Valeria de Paiva (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics