Preventing atomicity violations with contracts - Sousa, Diogo Miguel Gaspar de (2013)