Title: Theory of mathematical machines
Subjects: Machine theory