Flores, I., "The logic of computer arithmetic". Prentice-Hall, Englewood Cliffs, N. J., 1963

(1963)

Languages mentioned