Concurrent systems operating systems, database and distributed systems : an integrated approach - Bacon, Jean 1942- (Addison-Wesley, 1998)