Writing an Operating System with a Strictly Typed Assembly Language (2005) [pdf]web.yl.is.s.u-tokyo.ac.jp2 pointslainon7 years ago