@unpublished{modellingUnbounded,
  title = "Modelling unbounded parallel sessions of security protocols in {CSP}",
  author = "A. W. Roscoe and E. Kleiner",
  year = "2006",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/114.pdf",
}