Design of Digital Systems Using Self-Checking Alternating Logic - Scott E. Woodard (1977)

Self-Checking Alternating Logic: Sequential Circuit Design. - Scott E. Woodard; Gernot Metze (ISCA, 1978)