"The Design of the Venus Operating System."

Barbara H. Liskov (1971)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics