Operating systems : concurrent and distributed software design - Bacon, Jean, 1942- (Addison-Wesley, 2003)