Formal'noe konstruirovanie elektronno-vyčislitel'noj apparatury - Petrenko, Anatolij Ivanovič (Sovetskoe Radio, 1979)