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