Robin Abraham, Martin Erwig: Type inference for spreadsheets. PPDP 2006: 73-84