Theorie der abstrakten Automaten (Abstraktnaja teorija avtomatov [Deutsch]) - Gluškov, Viktor Michailovič (Mathematische Forschungsberichte, 1963)