The logical design of operating systems - Bic, Lubomir. (Prentice Hall, 1987)
Bibliography.