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