Space and time complexity for infinite time Turing machines
scientific article; zbMATH DE number 7285867