Reiser, Angelika Korrektheitsnachweis eines Synchronisations-Protokolls fur verteilte Datenbaksysteme Angelika Reiser - Munchen Universitat Munchen 1979 - 103 p fig 20 cm - TUM I 8210 . Lucrarea este multigrafiata Contine bibliografie