Application of Ternary Algebra to the Study of Static Hazards. - Michael Yoeli; Shlomo Rinon (J. ACM, 1964)