@proceedings{Oliveira&Gibbons2009:Teaching,
  author = "José Oliveira and Jeremy Gibbons (eds)",
  booktitle = "Teaching Formal Methods",
  doi = "10.1007/978-3-642-04912-5",
  series = "Lecture Notes in Computer Science",
  title = "Teaching Formal Methods",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/tfm2009-preface.pdf",
  volume = "5846",
  year = "2009",
}