Can anyone recommend good overview books for operating systems? I am especially interested in historical developments leading to the current and future state of the subject. Thanks in advance.