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