Martin Erwig Robin Abraham Steve Kollmansberger Irene Cooperstein Gencel: a program generator for correct spreadsheets. 293-325 2006 16 J. Funct. Program. 3 http://dx.doi.org/10.1017/S0956796805005794 db/journals/jfp/jfp16.html#ErwigAKC06