Theory and Design of Two-Rail Totally Self-Checking Basic Building Blocks. - Zhi-Jian Jiang; R. Venkatesen (ICCD, 1992)