End-User Software Engineering with Assertions in the Spreadsheet Paradigm. - Margaret M. Burnett; Curtis R. Cook; Omkar Pendse; Gregg Rothermel; Jay Summet; Christine Wallace (ICSE, 2003)