R. Atkey and D. Sannella, “ThreadSafe: Static Analysis for Java Concurrency”, eceasst, vol. 72, Nov. 2015.