Gregor von Bochmann Synchronization in Distributed System Modules. 322-339 1978 Berkeley Workshop db/conf/berkeley/berkeley78.html#Bochmann78