@TechReport{odersky:lamnu-report,
  author = 	"Martin Odersky",
  title = 	"A Syntactic Theory of Local Names",
  institution = "Department of Computer Science, Yale University",
  type = 	"Research Report",
  year = 	1993,
  number = 	"YALEU/DCS/RR-965",
  month = 	"May"
}