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