Recursive functions in computer theory - Peter, Rozsa (New York: Ellis Horwood Ltd., 1981)
Keywords: Arithmetic; Binary computer; Dummy variables; Math