The Logical Design of Parallel Operating Systems - PREIKSCHAT (Prentice Hall, 1994)
The Logical Design of Parallel Operating Systems