A theory of name resolution

Publication
European Symposium on Programming Languages and Systems