Spreadsheet Development Methodologies using Resolver: Moving spreadsheets into the 21st Century - Patrick Kemmis; Giles Thomas (CoRR, 2008)