Patricia Bouyer Nicolas Markey Joël Ouaknine Ph. Schnoebelen James Worrell http://arxiv.org/abs/0802.2839 2008 CoRR abs/0802.2839 db/journals/corr/corr0802.html#abs-0802-2839 informal publication