A Turing machine is a mathematical model of a general computing machine. Computing machine epsilon is often given as a textbook exercise. During this period, Newman started to share Turing's dream of building a stored-program computing machine. This established the United States Naval Computing Machine Laboratory. It was the first computing machine ever used remotely. The paper covered almost every computing machine then in existence. He does not assert that this M is a "computing machine". Zuse was also noted for the S2 computing machine, considered the first process control computer. Desch's lab became the United States Naval Computing Machine Laboratory. It was the first computing machine ever used remotely over a phone line. Zuse also developed the S2 computing machine, considered the first process control computer. As a computing machine, the ideal "calculus ratiocinator" would perform Leibniz's integral and differential calculus. He created a computing machine to lessen the work of producing tables of test correlations. It was the first general computing machine, and a direct predecessor of modern computers. Facit-T (1932) was the first 10-key computing machine sold in large numbers.