Guardians and actions: Linguistic support for robust. distributed programs (1983)

by Barbara Liskov, Robert Scheifler
Venue:ACM Transactions on Programming Languages and Systems