Program Size Complexity for Possibly Infinite Computations. - Verónica Becher; Santiago Figueira; André Nies; Silvana Picchi (Notre Dame J. Formal Log., 2005)