Introduction to operating system design - Habermann, A. Nico (The SRA computer science series, 1976)