1. Department of Computer Science, University of Wales, PO Box 916, Cardiff CF2 3XF, UK
2. School of Mathematics, University of Wales, Cardiff, Senghennydd Road, Cardiff CF2 4YH, UK
3. Mathematisches Institut I, Universität Karlsruhe, 76128 Karlsruhe, 76128 Karlsruhe