State University. Dept. of Computer Science, Oregon, Martin Erwig, Robin Abraham, Irene Cooperstein, and Steven Kollmansberger. 2004. Gencel : a Program Generator for Correct Spreadsheets. : Corvallis, OR : Oregon State University, Dept. of Computer Science.