Stumptnerand Wotawa. Debugging Functional Programs. 1999.