@techreport{Soter:12,
  title = "Automatic Verification of {Erlang}-Style Concurrency",
  author = "D'Osualdo, Emanuele and Kochems, Jonathan and Ong, Luke",
  year = "2012",
  institution = "University of Oxford DCS Technical Report",
  note = "\url{http://mjolnir.cs.ox.ac.uk/soter/papers/erlang-verif.pdf}",
  url = "http://mjolnir.cs.ox.ac.uk/soter/doc/papers.html#automatic-verification-of-erlang-style-concurrency-2012",
}