The logical design of parallel operating systems - Schröder-Preikschat, Wolfgang (Prentice Hall, 1994)