Kalyadin Н. И. Modeling Rademacher Predicates in Synthesis of Recognizing Machines. Вестн. Ижевск. гос. тех. унив. 2015, 18, 124-127.