@inproceedings{286953,
 author = {K. Rustan M. Leino},
 title = {Data groups: specifying the modification of extended state},
 booktitle = {Proceedings of the conference on Object-oriented programming, systems, languages, and applications},
 year = {1998},
 isbn = {1-58113-005-8},
 pages = {144--153},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/286936.286953},
 publisher = {ACM Press},
 }