V. N. Zakharov , L. A. Zakrevskiy Synthesizing Easy-to-Control Digital Circuits. Soviet Journal of Computer and Systems Sciences , vol.30 №3 , 01.1992