Concurent systems Operatiing systems, database and distributed systems: an integrated approach - Bacon, Jean (Addison-Wesley, 1998)