@proceedings{Davies&Gibbons2007:Integrated,
  booktitle = "Integrated Formal Methods",
  editor = "Jim Davies and Jeremy Gibbons",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Integrated Formal Methods",
  volume = "4591",
  year = "2007",
}