Lochbihler. Analysing Java's Safety Guarantees Under Concurrency. Walter de Gruyter GmbH, Jan. 2014, doi:10.1515/itit-2013-1037.