Barbara Liskov. The Design of the Venus Operating System. In SOSP. pages 11-16, 1971.
@inproceedings{Liskov71, title = {The Design of the Venus Operating System}, author = {Barbara Liskov}, year = {1971}, tags = {operating system, design}, researchr = {https://researchr.org/publication/Liskov71}, cites = {0}, citedby = {0}, pages = {11-16}, booktitle = {SOSP}, }