Safe Concurrency for Aggregate Objects with Invariants. Jacobs, B., Piessens, F., Leino, K. R. M., & Schulte, W. In SEFM, pages 137–147, 2005. IEEE Computer Society.
bibtex   
@inproceedings{DBLP:conf/sefm/JacobsPLS05,
  author    = {Bart Jacobs and
               Frank Piessens and
               K. Rustan M. Leino and
               Wolfram Schulte},
  title     = {Safe Concurrency for Aggregate Objects with Invariants},
  booktitle = {{SEFM}},
  pages     = {137--147},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
}

Downloads: 0