Stephanie Balzer, Thomas R. Gross. Modular reasoning about invariants over shared state with interposed data members: (abstract only). SIGPLAN Notices, 44(11):6-7, 2009. [doi]
@article{BalzerG09,
title = {Modular reasoning about invariants over shared state with interposed data members: (abstract only)},
author = {Stephanie Balzer and Thomas R. Gross},
year = {2009},
doi = {10.1145/1816027.1816033},
url = {http://doi.acm.org/10.1145/1816027.1816033},
researchr = {https://researchr.org/publication/BalzerG09},
cites = {0},
citedby = {0},
journal = {SIGPLAN Notices},
volume = {44},
number = {11},
pages = {6-7},
}