Processi di addizione, moltiplicazione e translazione per numeri in doppia precisione arrotondata

M. V. Wilkes, J. B. Stringer: «Micro-programming and the Design of the Control Circuits in an Electronic Digital Computer». Proc. Cambridge Phil. Soc.,44 (2), (1953), 230–238.

I. S. Reed:Symbolic Design Tecniques Applied to a Generalized Computer». MIT Lincoln Lab., Lexington, Mass., TR Nc, 141, (1957).

T. C. Bartee, I. L. Lebow, I. S. Reed: “Theory and Design of Digital Machines”. New York, McGrow-Hill, (1962).

H. Sçhorr: «Computer-Aided Digital System Design and Analysis Using a Register Transfer Language». IEEE Trans. on Electron. Comp., EC-13, (6), (1964).

M. Falleni, L. Pistelli:Studio di Processi di Calcolo nelle Unità Aritmetiche dei Calcolatori Elettronici». Ceutro Studi Calcolatrici Elettroniche del CNR, Pisa, Contratto EURATOM/C/027/61-12 CETIS, (1962).

J. E. Robertson: «Theory of Computer Arithmetic Employed in the Design of the New Computer at the University of Illinois». Eng. Summer Conf. Notes on the Theory of Computing Machine Design, Univ. of Michigan, Ann. Arbor, Michigan, 1960. File No. 319, Digital Computer Lab., Univ. of Illinois, Urbaua, Illinois, (1960).

J. E. Robertson, «Redundant Number Systems for Digital Computer Arithmetic». Eng. Summer Conf. Notes on Topics in the Design of Digital Computing Machines, Univ. of Michigan, Ann. Arbor, Michigan, (1959).

J. E. Robertson: «Two’s Complement Multiplication in Binary Parallel Digital Computers». IRE Trans. on Electron. Computers4, (1955), 118–119.

I. Flores: “The Logic of Computer Arithmetic». Preutice-Hall. Inc., Englewood Cliffs, N. J., (1963).