Proceedings of the Eleventh Symposium on Operating Systems Principles, ACM Press, New York, 1987

• Liskov, B. (1987) Liskov, B. "Implementation of Argus" pp111-122