В. Ю. Трифанов, “Обнаружение состояний гонки в Java-программах на основе синхронизационных контрактов”, CTE, no. 4, Jan. 2014.