@InProceedings{GeeWorrall91,
  title =        "{D}evelopement methods and occam",
  author=        "Gee,  David M. and Worrall,  Barry P. and Henderson,  W. D.",
  editor=        "Edwards,  Janet",
  pages =        "111--122",
  booktitle=     "{P}roceedings of {W}o{TUG}-14: {O}ccam and the {T}ransputer-{C}urrent {D}evelopments",
  isbn=          "90 5199 063 4",
  year=          "1991",
  month=         "sep",
  abstract=      "Existing structured methods for real-time systems are
     critically reviewed with respect to their suitability for
     direct implementation in occam without transformation. All
     are found to have weaknesses in some respects; consequently
     new notations are proposed. Use of these within an
     appropriate tool framework could assist in the automatic
     generation of occam code."
}