Jürgen Nehmer Dispatcher Primitives for the Construction of Operating System Kernels Acta Inf. 5 1975 237-255 db/journals/acta/acta5.html#Nehmer75