Martin Erwig, Deling Ren. An update calculus for expressing type-safe program updates. Science of Computer Programming, 67(2-3):199-222, 2007. [doi]
@article{ErwigR07, title = {An update calculus for expressing type-safe program updates}, author = {Martin Erwig and Deling Ren}, year = {2007}, doi = {10.1016/j.scico.2007.01.003}, url = {http://dx.doi.org/10.1016/j.scico.2007.01.003}, researchr = {https://researchr.org/publication/ErwigR07}, cites = {1}, citedby = {0}, journal = {Science of Computer Programming}, volume = {67}, number = {2-3}, pages = {199-222}, }