Donald C. Lindsay On Binding Layers of Software. 33-37 1981 15 Operating Systems Review 2 db/journals/sigops/sigops15.html#Lindsay81