Type-safe evolution of spreadsheets - Cunha, Jácome Miguel Costa (2011)
Lecture Notes in Computer Science Volume 6603, 2011