Spreadsheet Auditing Software - David Nixon; Mike O'Hara (CoRR, 2010)