@inproceedings{biro121,
  author = "A.W. Roscoe",
  booktitle = "Proceedings of ICTAC '08",
  title = "The three Platonic models of divergence-strict CSP",
  year = "2008",
}