@inproceedings{Davies&Gibbons2008:Formal,
  title = "Formal Methods for Electronic Government",
  author = "Jim Davies and Jeremy Gibbons",
  year = "2008",
  address = "Kitakyushu, Japan",
  booktitle = "Workshop on Formal Methods Education and Training at ICFEM",
  month = "October",
  url = "http://www.comlab.ox.ac.uk/people/jeremy.gibbons/publications/fmegov.pdf",
}