OSP an environment for operating system project - Kifer, Michael; Smalka, Scott A. (Reading, Mass. Addison-Wesley, 1991)
Keywords: Operating systems (Computers).