Кузьмин, Е. В.     Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ [Текст] / Ярославский государственный университет им. П.Г.Демидова, г.Ярославль, Россия // Программирование. — 2009. — С. 61-77.