Сенченко Олексій Сергійович. Зображення автоматів за допомогою визначальних співвідношень їх поведінки : дис... канд. фіз.-мат. наук: 01.05.01 / НАН України; Інститут кібернетики ім. В.М.Глушкова. - К., 2005.