A language with distributed scope (1995)

by L Cardelli
Venue:In Twenty-Second ACM Symposium on Principles of Programming Languages