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