A syntactic theory of dynamic binding
scientific article; zbMATH DE number 1294026