Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=433843
Copy and paste this citation
MARTIN ERWIG,
ROBIN ABRAHAM,
STEVE KOLLMANSBERGER
and IRENE COOPERSTEIN
(2006).
Gencel: a program generator for correct spreadsheets. Journal of Functional Programming, 16
,
pp 293-325
doi:10.1017/S0956796805005794