Калядин, Н. И. МОДЕЛИРОВАНИЕ ПРЕДИКАТОВ РАДЕМАХЕРА ПРИ СИНТЕЗЕ РАСПОЗНАЮЩИХ АВТОМАТОВ. Вестн. Ижевск. гос. тех. унив. 2015, 18, 124-127.