Digital computers, their history, operation, and use [with bibliography]; by E. M. McCormick.