Абдуллин, А. М.; Ицыксон, В. М. Kex: платформа для анализа JVM-программ. ИУС 2022, 30-43.