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