Kifer, Michael Introduction to operating system design and implementation: the OSP 2 approach - London Springer-Verlag 2007 - xii, 172p. ISBN: 9781846288425 Subjects--Index Terms: Operating system OSP 2 operating system design Computer science