Верификация автоматных программ / С. Э. Вельдер [и др.], 2011. - 242 с. с. - Текст : непосредственный.