Nominal sets : names and symmetry in computer science / Andrew M. Pitts. Cambridge [u.a.] : Cambridge Univ. Pr., 2013