The logical design of operating systems - Bic, Lubomir (Prentice Hall, 1988)
Includes index.