@InProceedings{odersky:lamnu,
  author = 	 "Odersky, Martin",
  title = 	 "A Functional Theory of Local Names",
  pages =	 "48-59",
  booktitle =	 "Proc. 21st ACM Symposium on Principles of
		  Programming Languages ",
  year =	 1994,
  month =	 "January"
}