@article{pricsp,
  title = "On the expressive power of CSP extended by priority",
  author = "A.W. Roscoe",
  year = "2014",
}