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