K. Kreith and A. Mendle, “Toward A Coherent Treatment of Negative Numbers”, JMETC, vol. 4, no. 1, Apr. 2013.