Automatic generation and maintenance of correct spreadsheets. - Martin Erwig; Robin Abraham; Irene Cooperstein; Steve Kollmansberger (ICSE, 2005)

Gencel: a program generator for correct spreadsheets. - Martin Erwig; Robin Abraham; Steve Kollmansberger; Irene Cooperstein (J. Funct. Program., 2006)