@techreport{TMNProtocol,
  title = "{Using CSP to detect errors in the TMN protocol}",
  author = "A. W. Roscoe and G. Lowe",
  year = "1996",
  institution = "{University of Leicester}",
  note = "{and IEEE transactions on Software Engineering Vol 23 (1997)}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/65.ps",
}