improved "How Operating Systems differ"