Theory of one-tape linear-time Turing machines
scientific article; zbMATH DE number 5641349
scientific article