On Fixpoint Arithmetic and Infinite Time Turing Machines. - Giacomo Lenzi; Erich Monteleone (Inf. Process. Lett., 2004)