The Logical design of Operating Systems - Bic, Lubomir (Prentice Hall, 1988)