Spreadsheet Implementation Technology: Basics and Extensions - Peter Sestoft (The MIT Press, 2014)