@InProceedings{Poole95,
  title =        "{U}sing records and pointers with occam 2.5",
  author=        "Poole,  Michael D.",
  editor=        "Nixon,  Patrick",
  pages =        "151--162",
  booktitle=     "{P}roceedings of {W}o{TUG}-18: {T}ransputer and occam {D}evelopments",
  isbn=          "90 5199 222 X",
  year=          "1995",
  month=         "mar",
  abstract=      "The language extensions from occam 2 to occam 2.1 are
     introduced. A programming project using the language is
     described. Specific examples of the use of the new named
     types and record structures including pointers, are
     described. Some specific and general conclusions are drawn."
}