@InProceedings{RoantreeClint90,
  title =        "{A} formal top-down developement method for occam programs",
  author=        "Roantree,  Donal and Clint,  Maurice",
  editor=        "Zedan,  Hussein S. M.",
  pages =        "262--286",
  booktitle=     "{OUG}-13: {R}eal-{T}ime {S}ystems with {T}ransputers",
  isbn=          "90 5199 041 3",
  year=          "1990",
  month=         "sep",
  abstract=      "This paper describes a formal development method for
     mathematical applications in occam. Refinement rules form
     the basis of the method. A traces model is defined and used
     to give a formal semantics to occam. The rules are proved
     sound with respect to this semantics."
}