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