Margaret M. Burnett Curtis R. Cook Omkar Pendse Gregg Rothermel Jay Summet Chris S. Wallace End-User Software Engineering with Assertions in the Spreadsheet Paradigm. 93-105 2003 conf/icse/2003 ICSE http://computer.org/proceedings/icse/1877/18770093abs.htm db/conf/icse/icse2003.html#BurnettCPRSW03