@Article{PittsAM:nomlfo-jv,
  author =	 {A. M. Pitts},
  title =	 {Nominal Logic, A First Order Theory of Names and
                  Binding},
  journal =	 {Information and Computation},
  year =	 2003,
  pages =	 {165--193},
  volume =	 186
}