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