@article{Gupta&al1996,
title = {A formal framework for on-line software version change},
author = {D. Gupta and P. Jalote and G. Barua},
month = {February},
number = {2},
pages = {120--131},
publisher = {IEEE Press},
volume = {22},
year = {1996},
timestamp = {2008.05.15}, date-modified = {2007-09-25 21:36:00 +0200}, owner = {pdeleenh},
keywords = {formal, versioning }
}