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