Егоров, К. В., и А. А. Шалыто. Методика верификации автоматных программ. Информационно-управляющие системы, вып. 5, Oct. 2008, сс. 15-21, https://i-us.ru/index.php/ius/article/view/14782.