@Book{PittsAM:nomsns,
  author =	 {A. M. Pitts},
  title =	 {Nominal Sets: Names and Symmetry in Computer
                  Science},
  publisher =	 {Cambridge University Press},
  year =	 2013,
  volume =	 57,
  series =	 {Cambridge Tracts in Theoretical Computer Science},
  isbn =	 {9781107017788}
}