Abreu R, Riboira A, Wotawa F.? 2012.??Debugging Spreadsheets: A CSP-based Approach.  IEEE 23rd International Symposium on Software Reliability Engineering Workshops - ISSREW. :159?164.