Peter Peinl Synchronisation in zentralisierten Datenbanksystemen: Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse Informatik-Fachberichte 161 Springer 1987 3-540-18752-9