Operating system concepts - Peterson, James Lyle (Addison-Wesley series in computer science, 1984)