A systematic approach for analyzing fast addition algorithms using counter tree diagrams. - Naofumi Homma; Jun Sakiyama; Taihei Wakamatsu; Takafumi Aoki; Tatsuo Higuchi 001 (ISCAS (5), 2004)