The location of errors in functional programs (1993)

by J E Hazan, R G Morgan
Venue:In Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Linkoping, Sweden