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