Murdoch James Gabbay Aad Mathijssen Capture-avoiding substitution as a nominal algebra. 451-479 2008 20 Formal Asp. Comput. 4-5 http://dx.doi.org/10.1007/s00165-007-0056-1 db/journals/fac/fac20.html#GabbayM08