Лукин, Михаил Андреевич, и Анатолий Абрамович Шалыто. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы, no. 5 (октябрь 18, 2013): 3–50. просмотрено май 6, 2024. https://i-us.ru/index.php/ius/article/view/13674.