Marc Pauly http://arxiv.org/abs/cs.LO/0211002 2002 CoRR cs.LO/0211002 db/journals/corr/corr0211.html#cs-LO-0211002 informal publication