Formal'noe konstruirovanie elektronno-vyčislitel'noj apparatury. - Petrenko, Anatolij Ivanovič; Tetel'baum, Aleksandr Jakovlevič (Moskva : Sovetskoe Radio, 1979)