Martin Erwig, Deling Ren. A rule-based language for programming software updates. SIGPLAN Notices, 37(12):88-97, 2002. [doi]
@article{ErwigR02-0, title = {A rule-based language for programming software updates}, author = {Martin Erwig and Deling Ren}, year = {2002}, doi = {10.1145/636517.636530}, url = {http://doi.acm.org/10.1145/636517.636530}, researchr = {https://researchr.org/publication/ErwigR02-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {37}, number = {12}, pages = {88-97}, }