William R. Murray Heuristic and Formal Methods in Automatic Program Debugging. 15-19 1985 IJCAI db/conf/ijcai/ijcai85.html#Murray85