A Generalised Spreadsheet Verification Methodology. - Nick Randolph; John Morris; Gareth Lee (ACSC, 2002)