Yirsaw Ayalew Markus Clermont Roland T. Mittermeir Detecting Errors in Spreadsheets http://arxiv.org/abs/0805.1740 2008 CoRR abs/0805.1740 db/journals/corr/corr0805.html#abs-0805-1740 informal publication