Department of Computing Science, University of Glasgow, S. A. W. Building, G12 8QQ, UK. theo@dcs.gla.ac.uk|Department of Computing Science, University of Glasgow, S. A. W. Building, G12 8QQ, UK. theo@dcs.gla.ac.uk