Kalyadin Н. И., “Modeling Rademacher Predicates in Synthesis of Recognizing Machines”, Вестн. Ижевск. гос. тех. унив., vol. 18, no. 1, pp. 124–127, Mar. 2015.