@inproceedings{Daviesetal,
  author = "Jim Davies and Andrew Simpson and Andrew Martin",
  booktitle = "Symposium on Teaching Formal Methods",
  editor = "C. Neville Dean and Raymond T. Boute",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Teaching Formal Methods in Context",
  volume = "3294",
  year = "2004",
}