2014. Обнаружение состояний гонки в Java-программах на основе синхронизационных контрактов. Computer Tools in Education. 4 (Jan. 2014).