theory of machine book