Barbara Liskov Primitives for Distributed Computing. 33-42 1979 SOSP db/conf/sosp/sosp79.html#Liskov79