Second-Level Algorithms, Superrecursivity, and Recovery Problem in Distributed Systems - Burgin, Mark; Gupta, Bidyut (Theory of Computing Systems, 2012)