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