\(\omega\)-computations on Turing machines
scientific article; zbMATH DE number 3574988