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