Concurrent systems : operating systems, database, and distributed systems : an integrated approach - Bacon, Jean, 1942- (International computer science series, 1998)