Lampson, Hints for Computer System Design Levin and Redell, An Evaluation of the Ninth SOSP Submissions -or- How (and How Not) to Write a Good Systems Paper 配布資料 Lecture Notes