@inproceedings{expstab:esop10,
  author    = {John Wickerson and Mike Dodds and Matthew Parkinson},
  title     = {Explicit {S}tabilisation for {M}odular {R}ely-{G}uarantee {R}easoning},
  booktitle = {19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus},
  editor    = {Andrew D. Gordon},
  pages     = {611-630},
  year      = {2010},
  month     = {mar},
  series    = {Lecture Notes in Computer Science},
  volume    = {6012},
  publisher = {Springer-Verlag}
}