Свирин, И. С., П. А. Силин, и И. В. Парфилов. 2021. «Улучшенный верифицирующий алгоритм для математической модели взаимных блокировок». Системный анализ в науке и образовании, вып. 3 (сентябрь):74-82. https://sanse.uni-dubna.ru/index.php/sanse/article/view/340.