Carl, 2019. Space and Time Complexity for Infinite Time Turing Machines.