Introduction to operating system design and implementation : the OSP 2 approach - Kifer, M. (Undergraduate topics in computer science, 2007)