KLYACHKO, A. A.; MENSHOVA, E. V. The Identities of Additive Binary Arithmetics. The Electronic Journal of Combinatorics, v. 19, n. 1, p. P40, 7 Feb. 2012.