"Architectural issues in microkernel-based operating systems: the CHORUS ..."

Allan Bricker et al. (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics