Concurrent systems operating systems, database and distributed systems an intergrated approach - Bacon (International computer science series, 1998)