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