A Logic Hazard Detection and Elimination Method - Levente L. Máté; Santanu Das; Henry Y. H. Chuang (Inf. Control., 1974)