Mark Moriconi Timothy C. Winkler Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''. 94 http://www.computer.org/tse/ts1991/e0094abs.htm 1991 17 IEEE Trans. Software Eng. 1 db/journals/tse/tse17.html#MoriconiW91