This research was supported by UK EPSRC research grants GR/K19723 and GR/J840114, and by ESPRIT project P6253. Further information can be obtained from npt@dcs.ed.ac.uk or alasdair@cs.man.ac.uk
