И. Зиатдинов, Программа для исследования логических элементов, ПОАР, т. 1, вып. 3, сс. 18-22, авг. 2020.