Закутайло Денис Александрович. Корректное проектирование аппаратно-программных средств вычислительной техники на основе логических языков спецификаций и современных языков описания дискретных систем : дис... канд. техн. наук: 05.13.13 / НАН Украины; Институт кибернетики им. В.М.Глушкова. — К., 2006. — 154л. : рис., табл. — Библиогр.: л. 143-151.