Concurrent systems - Bacon, Jean (Addison-Wesley, 1998)