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