@techreport{CommunicationAndCorrectness,
  title = "Communication and correctness in {Timed CSP}",
  author = "A. W. Roscoe and S.A. Schneider and J.W. Davies and D.M. Jackson and G.M. Reed",
  year = "1990",
  institution = "Esprit SPEC project",
}