Dominique Decouchant Sacha Krakowiak M. Meysembourg Michel Riveill Xavier Rousset de Pina A synchronization mechanism for typed objects in a distributed system. 105-107 1989 24 SIGPLAN Notices 4 http://doi.acm.org/10.1145/67387.67414 db/journals/sigplan/sigplan24.html#DecouchantKMRP89