"The Design of the Venus Operating System."

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