Формальное конструирование электронно-вычислительной аппаратуры - Петренко А.И., Тетельбаум А.Я (Советское радио, 1979)