1. School of Computing and Information Technology, University of Wolverhampton,Wolverhampton WV1 1SB, UK
2. Instituto Gulbenkian de Ciencia, Rua da Quinta Grande 6, 2780-156 Oeiras, Portugal
3. Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK