Logic design and switching theory. - Muroga, Saburo