Kalyadin Н. И. “Modeling Rademacher Predicates in Synthesis of Recognizing Machines”. Vestnik IzhGTU Imeni M.T. Kalashnikova, vol. 18, no. 1, Mar. 2015, pp. 124-7, https://izdat.istu.ru/index.php/vestnik/article/view/2103.