@Article{PittsAM:encasw,
  author =	 {M. R. Lakin and A. M. Pitts},
  title =	 {Encoding Abstract Syntax without Fresh Names},
  journal =	 {Journal of Automated Reasoning},
  year =	 2011,
  volume =	 49,
  number =	 2,
  pages =	 {115--140},
  url =		 {http://dx.doi.org/10.1007/s10817-011-9220-7}
}