@Article{PittsAM:strrls,
  author =	 {A. M. Pitts},
  title =	 {Structural Recursion with Locally Scoped Names},
  journal =	 {Journal of Functional Programming},
  year =	 2011,
  volume =	 21,
  number =	 3,
  pages =	 {235--286}
}