A formal framework for on-line software version change (1996)

by D Gupta, P Jalote, G Barua
Venue:IEEE TSE