An enhanced theory of infinite time register machines (2008)

by P Koepke, R Miller
Venue:Logic and Theory of Algorithms, LNCS