Operating system specification using very high level dictionsby Peter MarksteinWriting a summary for young readers…For young readersBook data: Open Library