Operating system concepts - Peterson (Addison-Wesley, 1985)