Disciplines in combinational and sequential circuit design - Oberman, R.M.M (McGraw-Hill Book Company, 1970)