The authors gratefully acknowledge the vital contributions to the
success of this work made by all those involved, especially Bruce
Cameron, John Birch, John Robson and Virendra Patel. This work was
partially funded by ESPRIT Project 1219 (967) ``PADMAVATI'' (Parallel
and Associative Development Machine As a Vehicle for ArTificial
Intelligence). This project ran from January 1986 to April 1991 and
involved GEC Hirst Research Centre in Great Britain, Thomson-CSF in
France, CSELT in Italy and FIRST International in Greece
[Guichard-Jary1990]. Krste Asanovic thanks the International
Computer Science Institute for its support.