Deepak Gupta Pankaj Jalote Gautam Barua A Formal Framework for On-line Software Version Change. 120-131 http://www.computer.org/tse/ts1996/e0120abs.htm 1996 22 IEEE Trans. Software Eng. 2 db/journals/tse/tse22.html#GuptaJB96