Olaf Chitil, Thomas Davie: Comprehending finite maps for algorithmic debugging of higher-order functional programs. PPDP 2008: 205-216