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