Towards a Spreadsheet Engineering - V. R. Vemula; David Ball; Simon R. Thorne (CoRR, 2008)