Binary Summation
CACM July, 1971
Walker, R. J.
