Spreadsheet implementation technology : basics and extensions - Sestoft, Peter (The MIT Press, 2014)