Liskov, B. et al "Guardians and Actions: Linguistic Support for Robust, Distributed Programs"

(1983) TOPLAS 5(3) July 1983  

Languages mentioned Argus {1983} Concurrent CLU