Self-Checking Alternating Logic: Sequential Circuit Design.

Scott E. Woodard Gernot Metze Self-Checking Alternating Logic: Sequential Circuit Design. 114-122 1978 ISCA db/conf/isca/isca78.html#WoodardM78