Wieso konnen Automaten rechnen? : : eine Einfuhrung in die logisch-mathematischen Grundlagen programmgesteuerter Rechenautomaten - Trakhtenbrot, B. A. (Deutscher Verlag der Wissenschaften, 1962)