MRI: Modular reasoning about interference in incremental programming. (2012)

by B C D S Oliveira, T Schrijvers, W R Cook
Venue:Journal of Functional Programming,