Department of Computer Science, Queen Mary, University of London, London E1 4NS, Tel: +44 (0)20 7882 5200, Fax: +44 (0)20 8980 6533