Philipp Mayr Walther Umstätter http://arxiv.org/abs/cs/0701104 2007 CoRR abs/cs/0701104 db/journals/corr/corr0701.html#abs-cs-0701104 informal publication