Manfred Harringer http://arxiv.org/abs/cs/0508007 2005 CoRR abs/cs/0508007 db/journals/corr/corr0508.html#abs-cs-0508007 informal publication