Klarlund, N. The Limit View of Infinite Computations. BRICS 1994, 1.