Guardians and Actions: Linquistic Support for Robust, Distributed Programs (1983)

by B Liskov, R Scheifier
Venue:ACM Transactions on Programming Languages and Systems