Вельдер, С. Э.; Шалыто, А. А. О верификации простых автоматных программ на основе метода Model Checking. ИУС 2007, 27-38.