Kifer, M. Introduction to operating system design and implementation : the OSP 2 approach / Michael Kifer and Scott A. Smolka. - London : Springer, c2007. - xii, 172 p. ; - Undergraduate topics in computer science . Includes index. ISBN: 9788184897555 Subjects--Topical Terms: Operating systems (Computers) Dewey Class. No.: 004.451 / KIF