Luís M. B. Lopes Francisco Martins Miguel S. Silva João Barros http://arxiv.org/abs/cs/0702042 2007 CoRR abs/cs/0702042 db/journals/corr/corr0702.html#abs-cs-0702042 informal publication