Théorie et synthèse des machines numérales — Irvin L Lebow, Irving S Reed, Thomas C Bartee