@article{Davies&Gibbons2009:Formal,
  title = "Formal Methods for Future Interoperability",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2009",
  journal = "ACM Inroads",
  month = "June",
  note = "A revised version of "Formal Methods for Electronic Government" (FMET, 2008)",
  number = "2",
  pages = "60-64",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fmfi.pdf",
  volume = "41",
  doi = "10.1145/1595453.1595463",
}