@Article{PittsAM:genun-jv,
  author =	 {A. M. Pitts and M. R. Shinwell},
  title =	 {Generative Unbinding of Names},
  journal =	 {Logical Methods in Computer Science},
  year =	 2008,
  volume =	 4,
  number =	 {1:4},
  pages =	 {1--33},
  doi =		 {10.2168/LMCS-4(1:4)2008}
}