Bernard J. Pope: Declarative Debugging with Buddha. Advanced Functional Programming 2004: 273-308