@InProceedings{DodgeRoss92,
  title =        "{A} transform accelerator for a transputer system",
  author=        "Dodge,  C. J. and Ross,  P. G. B. and Undrill,  P. E. and Allen,  Alastair R.",
  editor=        "Allen,  Alastair R.",
  pages =        "97--111",
  booktitle=     "{P}roceedings of {W}o{TUG}-15: {T}ransputer {S}ystems - ongoing {R}esearch",
  isbn=          "90 5199 085 5",
  year=          "1992",
  month=         "mar",
  abstract=      "A DSP based image transform accelerator for a transputer
     system is described. The formal specification language Z has
     been employed in the accelerator design, examples of which
     are presented including aspects of the refinement process
     and some of the problems encountered in working with a
     combined hardware/software specification."
}