Егоров, К.В. и Шалыто, А.А. 2008. Методика верификации автоматных программ. Информационно-управляющие системы. 5 (окт. 2008), 15-21.