@Unpublished{txa:alpha-draft,
  author = 	 {Thorsten Altenkirch},
  title = 	 {$\alpha$-conversion is easy},
  note = 	 {Under Revision},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year =	 {2002},
  OPTannote = 	 {}
}