Identification and annotation of concurrency design patterns in Java source code using static analysis. - Mwebesa, Martin; Bradbury, Jeremy S. (2012)