selected publications chapter Compensating the Computational Bias of Spreadsheets with MKM Techniques. Lecture Notes in Computer Science. 357-372. 2009