Luc Bouganim Björn Þór Jónsson Philippe Bonnet http://arxiv.org/abs/0909.1780 2009 CoRR abs/0909.1780 db/journals/corr/corr0909.html#abs-0909-1780 informal publication