Свирин, И. С.; Силин, П. А.; Парфилов, И. В. Улучшенный верифицирующий алгоритм для математической модели взаимных блокировок. Системный анализ в науке и образовании 2021, 74-82.