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