Spreadsheet Implementation Technology: Basics and Extensions - Sestoft (IEEE, 2003)