Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen - Hodek, Roman (Inst. für Informatik, 2001)