Refactoring Java Programs for Flexible Locking - Schäfer, M; Sridharan, M; Dolby, J; Tip, F (2011)