Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme - Reiser, Angelika (1982)