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