Баркалов Александр Александрович. Разработка формализованных методов структурного синтеза композиционных автоматов : Дис... д-ра техн. наук: 05.13.08 / Донецкий гос. технический ун-т. — Донецк, 1994. — 371л.