Syntéza logických obvodů - Klír, Jiří; Seidl, Lev K. (SNTL, 1966)