An empirical study of spreadsheet authors' mental models in explaining and debugging tasks | IEEE Conference Publication | IEEE Xplore