Operating systems : concepts, policies, and mechanisms - PINKERT (Prentice Hall, 1989)