Disciplines in combinational and sequential circuit design - Oberman, R. M. M. (McGraw-Hill electrical and electronic engineering series, 1970)