Chao-Chih Yang Deduction Graphs: An Algorithm and Applications. 60-67 http://www.computer.org/tse/ts1989/e0060abs.htm 1989 15 IEEE Trans. Software Eng. 1 db/journals/tse/tse15.html#Yang89