Ross S. Finlayson
Structuring and Communication in the Vanguard OS Kernel
SOSP, 1992.
@article{SOSP-WIP-1991-Finlayson92, author = "Ross S. Finlayson", doi = "10.1145/142111.993393", journal = "{Operating Systems Review}", number = 2, pages = "30", publisher = "{ACM}", title = "{Structuring and Communication in the Vanguard OS Kernel}", volume = 26, year = 1992, }