A language with distributed scope, in (1995)

by L Cardelli
Venue:22nd Annual ACM Symposium on Principles of Programming Languages, ACM