Structure of an Operating System
C.A.R. Hoare and R.M. McKeag
Book Title
Theoretical Foundations of Programming Methodology — Lecture Notes of an International Summer School‚ Germany‚ 1981
Editor
M. Broy and G. Schmidt
Pages
643–658
Publisher
Reidel
Year
1982