Prevenção de Violações de Atomicidade usando ContratosD Sousa, Carla Ferreira, J LourençoPosted Jan 1, 2013 Link