Nominal Sets - Andrew M. Pitts (Cambridge Tracts in Theoretical Computer Science, 2013)