Мирошник, М., Э. Кулак, Е. М. Алиева, Д. Караман, and Ю. Пахомов. “Methods of Designing Digital Self-Checking Automate”. Radiotekhnika, vol. 4, no. 187, Dec. 2016, pp. 124-31, http://rt.nure.ua/article/view/210918.