@InProceedings{NixonCroll93,
  title =        "{T}he {F}unctional {S}pecification of {OCCAM} {P}rograms for {T}ime {C}ritical {A}pplications",
  author=        "Nixon,  Patrick and Croll,  Peter R.",
  editor=        "Kerridge,  Jon",
  pages =        "131--144",
  booktitle=     "{P}roceedings of {W}o{TUG}-16: {T}ransputer and {O}ccam {R}esearch : {N}ew {D}irections",
  isbn=          "90 5199 121 5",
  year=          "1993",
}