@Article{PittsAM:encasw,
  author =	 {M. R. Lakin and A. M. Pitts},
  title =	 {Encoding Abstract Syntax without Fresh Names},
  journal =	 {Journal of Automated Reasoning},
  year =	 2010,
  volume =	 {?},
  number =	 {?},
  pages =	 {?},
  note =	 {To appear.}
}