Department of Computer Science University of Liverpool Liverpool L69 7ZF, UK email wiebe@csc.liv.ac.uk tel (+44 151) 794 3672/7480 fax (+44 151) 794 3715

"