Абунегм А.., Кудасов Н.Д. Реализация языкового сервера для интерактивного доказателя теорем Rzk // № 22, 2023
Грибовская Н.С. Сравнение причинной зависимости и семантики истинного параллелизма в контексте временных моделей // № 2, 2013
