Synthesis: An Efficient Implementation of Fundamental OS Services (1992)citeseerx.ist.psu.edu·2 pts·_quasimodo·0