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