Flores, I., "The logic of computer arithmetic". Prentice-Hall, Englewood Cliffs, N. J., 1963
(1963)
Languages mentioned
FLAP
{1965}