The logical design of parallel opperating systems - Schroder-Preirschat, Wolfgang (Prentice Hall, 1994)