Jiang, Zhi-Jian (1992) A study of two-rail totally self-checking circuits. Masters thesis, Memorial University of Newfoundland.