"Extensibility, Safety and Performance in the SPIN Operating System."

Brian N. Bershad et al. (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics