The Structure of an Operating System
C.A.R. Hoare
Book Title
Language Hierarchies and Interfaces
Pages
242–265
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
46
Year
1976
C.A.R. Hoare