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