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