pitts_nominal_sets:
  type: book
  title: 'Nominal Sets: Names and Symmetry in Computer Science'
  author: Pitts, Andrew M
  date: 2013
  publisher: Cambridge University Press