Concurrent systems: an integrated approach to operating systems, database, and distributed systems 
Bacon, Jean