mathematics by calculating machine - "thomas, t i. " (uk : cassell, 1962)