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