Operating systems : concurrent and distributed software design - Bacon, Jean, 1942- (International computer science series, 2003)