@book{pitts_nominal_sets,
  title={Nominal Sets: Names and Symmetry in Computer Science},
  author={Pitts, Andrew M},
  year={2013},
  publisher={Cambridge University Press}
}