С. Ю. Куницкая, В. Г. Бабенко, and О. Б. Пивень, “Use of the software structure for model synthesis of positional redundant number systems”, TAPR, vol. 5, no. 6(25), pp. 55–57, Sep. 2015.