David R. Cheriton Kenneth J. Duda Logged Virtual Memory. 26-39 1995 SOSP db/conf/sosp/sosp95.html#CheritonD95