Visual Specifications of Correct Spreadsheets. - Abraham, Robin; Erwig, Martin; Kollmansberger, Steve; Seifert, Ethan (2005)