Philip D. Welch. Post's and other problems of supertasks of higher type. In Benedikt Löwe, Boris Piwinger, Thoralf Räsch, editors, Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001. Volume 23 of Trends in Logic, pages 223-237, Springer, 2001. [doi]
Abstract is missing.