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