N. Klarlund, “The Limit View of Infinite Computations”, BRICS, vol. 1, no. 14, May 1994.