Liskov, Barbara "The Argus Language and System"

Distributed Systems: Methods and Tools for Specifi (1985) Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Lecture Notes in Computer Science, Vol. 190, Springer, 1985  

Languages mentioned Argus {1983} Concurrent CLU