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