Dept. of Computer Science University of Bristol Merchant Venturers Building Woodland Road Bristol BS8 1UB United Kingdom
E-mail: reinhard(@)cs.bris.ac.uk Tel: +44 (0)117 954 5140 Fax: +44 (0)117 954 5208
