Gärtner, Felix Christoph : Formale Grundlagen der Fehlertoleranz in verteilten Systemen. [Online-Edition] TU Darmstadt [Ph.D. Thesis], (2001)