Papers (BibTeX)

@article{gabbay:capasn-jv,
  author    = {Murdoch Gabbay and
               Aad Mathijssen},
  title     = {\href{http://www.gabbay.org.uk/papers.html#capasn-jv}{Capture-Avoiding Substitution as a Nominal Algebra (journal version)}},
  year      = {2008},
  ee        = {http://dx.doi.org/10.1007/11921240_14},
  journal = {Formal Aspects of Computing},
  month     = {January},
  pages     = {451-479},
  volume    = {20},
  number    = {4-5},
  publisher = {Springer},
}