Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook. MRI: Modular reasoning about interference in incremental programming. Journal of Functional Programming, 22(6):797-852, 2012. [doi]
@article{OliveiraSC12,
title = {MRI: Modular reasoning about interference in incremental programming},
author = {Bruno C. D. S. Oliveira and Tom Schrijvers and William R. Cook},
year = {2012},
doi = {10.1017/S0956796812000354},
url = {http://dx.doi.org/10.1017/S0956796812000354},
researchr = {https://researchr.org/publication/OliveiraSC12},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {22},
number = {6},
pages = {797-852},
}