OSP : an environment for operating system projects /
Kifer, Michael.
Smolka, Scott A.,1954-
Reading, Mass. ; Wokingham : Addison-Wesley,
1991.
Operating systems (Computers)
OSP (Computer operating system)