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