Klyachko, A. A., and E. V. Menshova. “The Identities of Additive Binary Arithmetics”. The Electronic Journal of Combinatorics, Vol. 19, no. 1, Feb. 2012, p. P40, doi:10.37236/2044.