Syntéza logických obvodů - Klír, Jiří (Knižnice automatizace, 1966)