Barbara Liskov Robert Scheifler Guardians and Actions: Linguistic Support for Robust, Distributed Programs. 7-19 1982 POPL db/conf/popl/popl82.html#LiskovS82 POPL/00001526.PDF