The Roscoe Operating System (1979)

by Marvin H Solomon, Raphael A Finkel
Venue:In Proceedings of the 7 th ACM Symposium on Operating System Principles