@InProceedings{WoodMoores99,
  title =        "{U}ser-{D}efined {D}ata {T}ypes and {O}perators in occam",
  author=        "Wood,  David C. and Moores,  James",
  editor=        "Cook,  Barry M.",
  pages =        "121--146",
  booktitle=     "{P}roceedings of {W}o{TUG}-22: {A}rchitectures, {L}anguages and {T}echniques for {C}oncurrent {S}ystems",
  isbn=          "90 5199 480 X",
  year=          "1999",
  month=         "mar",
  abstract=      "This paper describes the addition of user-defined monadic
     and dyadic operators to occam, together with some libraries
     that demonstrate their use. It also discusses some
     techniques used in their implementation in KRoC for a
     variety of target machines."
}