Nominal sets : names and symmetry in computer science - Pitts, Andrew M. (Cambridge tracts in theoretical computer science, 2013)