Safe concurrency for aggregate objects with invariants (2005)

by B Jacobs, F Piessens, K R M Leino, W Schulte
Venue:In SEFM