Шкиль, А., Кулак, Э., & Серокурова, А. (2015). ДИАГНОСТИРОВАНИЕ HDL-МОДЕЛЕЙ МИКРОПРОГРАММНЫХ АВТОМАТОВ. Автоматизовані системи управління та прилади автоматики, (172), 22–31. вилучено із https://asu-pa.nure.ua/article/view/351238