Comprehending finite maps for algorithmic debugging of higher-order functional programs. - Olaf Chitil; Thomas Davie (PPDP, 2008)