В. А. Бахтин, Д. А. Захаров, А. А. Ермичев, и В. А. Крюков, «Отладка параллельных программ в DVM-системе», ЭБ, т. 23, вып. 4, сс. 866-886, июн. 2020.