The Logical Design of Operating Systems - Shaw, Alan (Prentice Hall, 1974)