Electronic digital computers - Smith, Charles V. L. (1959)