@InProceedings{PittsAM:metpbn,
  author =	 {A. M. Pitts and M. J. Gabbay},
  title =	 {A Metalanguage for Programming with Bound Names
                  Modulo Renaming},
  booktitle =	 {Mathematics of Program Construction. 5th
                  International Conference, MPC2000, Ponte de Lima,
                  Portugal, July 2000. Proceedings},
  pages =	 {230--255},
  year =	 2000,
  editor =	 {R. Backhouse and J. N. Oliveira},
  volume =	 1837,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag, Heidelberg},
  doi =		 {http://dx.doi.org/10.1007/10722010_15}
}